Security Cryptography Whatever cover image

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

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app