High-assurance Post-Quantum Crypto with Franziskus Kiefer and Karthik Bhargavan
- Forfattere
- Afsnit
- 39
- Udgivet
- 30. jan. 2024
- Forlag
- 0 Anmeldelser
- 0
- Afsnit
- 39 of 67
- Længde
- 56M
- Sprog
- Engelsk
- Format
- Kategori
- Fakta
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 (@dadrian)
Other podcasts you might like ...
- M’usa, con l’apostrofo. Le donne di PicassoLetizia Bravi
- FC PopCornFilm Companion
- Do I Like It?The Quint
- The Big StoryThe Quint
- DiskoteksbrandenAntonio de la Cruz
- Dragon gateEdith Söderström
- En amerikansk epidemiPatrick Stanelius
- En värld i brand: Andra världskriget och sanningenAnton Vretander
- FamiljenFrida Anund
- Hagen-fallet: Spårlöst försvunnenAntonio de la Cruz
- M’usa, con l’apostrofo. Le donne di PicassoLetizia Bravi
- FC PopCornFilm Companion
- Do I Like It?The Quint
- The Big StoryThe Quint
- DiskoteksbrandenAntonio de la Cruz
- Dragon gateEdith Söderström
- En amerikansk epidemiPatrick Stanelius
- En värld i brand: Andra världskriget och sanningenAnton Vretander
- FamiljenFrida Anund
- Hagen-fallet: Spårlöst försvunnenAntonio de la Cruz
