Simple High-Level Code for Cryptographic Arithmetic -- With Proofs, Without Compromises

Name: Simple High-Level Code for Cryptographic Arithmetic -- With Proofs, Without Compromises
Uploaded: 2019-01-01
Duration: 17 min 33 s
Description: Simple High-Level Code for Cryptographic Arithmetic -- With Proofs, Without Compromises — a 2019 IEEE Security & Privacy 2019 security conference talk on crypto (17:33 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE Security & Privacy 2019 · 2019 · 17:33

▶

Simple High-Level Code for Cryptographic Arithmetic -- With Proofs, Without Compromises — a 2019 IEEE Security & Privacy 2019 security conference talk on crypto (17:33 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto

← Back to the Breach Arc Archive