X-Men: A Mutation-Based Approach for the Formal Analysis of Security Ceremonies | IEEE Euro S&P 2020

Name: X-Men: A Mutation-Based Approach for the Formal Analysis of Security Ceremonies | IEEE Euro S&P 2020
Uploaded: 2020-01-01
Duration: 9 min 3 s
Description: X-Men: A Mutation-Based Approach for the Formal Analysis of Security Ceremonies | IEEE Euro S&P 2020 — a 2020 IEEE European Symposium on Security and Privacy security conference talk on crypto (9:03 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE European Symposium on Security and Privacy · 2020 · 9:03

▶

X-Men: A Mutation-Based Approach for the Formal Analysis of Security Ceremonies | IEEE Euro S&P 2020 — a 2020 IEEE European Symposium on Security and Privacy security conference talk on crypto (9:03 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto

← Back to the Breach Arc Archive