USENIX Security '23 - Formal Analysis of Session-Handling in Secure Messaging: Lifting Security...

Name: USENIX Security '23 - Formal Analysis of Session-Handling in Secure Messaging: Lifting Security...
Duration: 11 min 28 s
Description: USENIX Security '23 - Formal Analysis of Session-Handling in Secure Messaging: Lifting Security... — a USENIX security conference talk on crypto (11:28 min). Watch the full video, indexed free on the Breach Arc Archive.

USENIX · 11:28

▶

USENIX Security '23 - Formal Analysis of Session-Handling in Secure Messaging: Lifting Security... — a USENIX security conference talk on crypto (11:28 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto

← Back to the Breach Arc Archive