![Security Cryptography Whatever artwork](https://is3-ssl.mzstatic.com/image/thumb/PodcastSource115/v4/b5/a8/04/b5a804f0-7514-600e-cf75-4a1af07b3292/2ff05988-463f-4fff-84bc-3a0cc76544fb.png/100x100bb.jpg)
High-assurance Post-Quantum Crypto with Franziskus Kiefer and Karthik Bhargavan
Security Cryptography Whatever
English - January 29, 2024 23:00 - 56 minutes - 38.6 MB - ★★★★★ - 61 ratingsTechnology security cryptography whatever Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
We welcome Franziskus and Karthik from Cryspen to discuss their new high-assurance implementation of ML-KEM (the final form of Kyber), discussing how formal methods can both help provide correctness guarantees, security assurances, and performance wins for your crypto code!
Transcript: https://securitycryptographywhatever.com/2024/01/29/high-assurance-kyber/
Links:
- https://cryspen.com/post/ml-kem-implementation/
- https://github.com/cryspen/libcrux/
- https://github.com/formosa-crypto/libjade
- https://cryspen.com/post/pqxdh/
- https://eprint.iacr.org/2023/1933.pdf
- Franziskus Kiefer: https://franziskuskiefer.de/
- Karthik Bhargavan: https://bhargavan.info/
"Security Cryptography Whatever" is hosted by Deirdre Connolly (@durumcrustulum), Thomas Ptacek (@tqbf), and David Adrian (@davidcadrian)