Formally Verified Cryptographic Web Applications in WebAssembly

Name: Formally Verified Cryptographic Web Applications in WebAssembly
Uploaded: 2019-01-01
Duration: 19 min 5 s
Description: Formally Verified Cryptographic Web Applications in WebAssembly — a 2019 IEEE Security & Privacy 2019 security conference talk on web-appsec (19:05 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE Security & Privacy 2019 · 2019 · 19:05

▶

Formally Verified Cryptographic Web Applications in WebAssembly — a 2019 IEEE Security & Privacy 2019 security conference talk on web-appsec (19:05 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

web-appsec

← Back to the Breach Arc Archive