Sound Verification of Security Protocols: From Design to Interoperable Implementations

Name: Sound Verification of Security Protocols: From Design to Interoperable Implementations
Uploaded: 2023-01-01
Duration: 14 min 48 s
Description: Sound Verification of Security Protocols: From Design to Interoperable Implementations — a 2023 IEEE S&P 2023 Sessions security conference talk on crypto (14:48 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE S&P 2023 Sessions · 2023 · 14:48

▶

Sound Verification of Security Protocols: From Design to Interoperable Implementations — a 2023 IEEE S&P 2023 Sessions security conference talk on crypto (14:48 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto

← Back to the Breach Arc Archive