IEEE Symposium on Security and Privacy·18 min
Presenters detail vulnerability discovery and exploitation in Simple High-Level Code for Cryptographic Arithmetic -- With Proofs, Without Compromises.
simplehigh-levelcode+3
2 talks tagged with this topic.
Loading filters…
1–2 of 2 talks · loading…
IEEE Symposium on Security and Privacy·18 min
Presenters detail vulnerability discovery and exploitation in Simple High-Level Code for Cryptographic Arithmetic -- With Proofs, Without Compromises.
Strange Loop Conference·38 min
Presenters detail vulnerability discovery and exploitation in "Strength in Numbers: Unums and the Quest for Reliable Arithmetic" by Ferris Ellis.