
High-assurance Post-Quantum Crypto with Franziskus Kiefer and Karthik Bhargavan
Security Cryptography Whatever
00:00
Ensuring High Assurance in Cryptography Implementations
Exploring the importance of proven correctness, memory safety, and independence in cryptographic implementations, including discussions on Rust vs. C, HackleStar in FStar, verifying algorithms like Shah3, hack spec for bridging pseudo code with reference code, and introducing the tool chain hacks for Rust code verification.
Transcript
Play full episode