Securing Protocols With (Not So) Formal Methods - Jean Snyman

Name: Securing Protocols With (Not So) Formal Methods - Jean Snyman
Uploaded: 2023-01-01
Duration: 36 min 26 s
Description: Securing Protocols With (Not So) Formal Methods - Jean Snyman — a 2023 BSides Bristol 2023 security conference talk on crypto (36:26 min). Watch the full video, indexed free on the Breach Arc Archive.

BSides Bristol 2023 · 2023 · 36:26 · Jean Snyman

▶

Securing Protocols With (Not So) Formal Methods - Jean Snyman — a 2023 BSides Bristol 2023 security conference talk on crypto (36:26 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto

← Back to the Breach Arc Archive