• High-assurance Post-Quantum Crypto with Franziskus Kiefer and Karthik Bhargavan

  • Jan 29 2024
  • Length: 56 mins
  • Podcast
High-assurance Post-Quantum Crypto with Franziskus Kiefer and Karthik Bhargavan cover art

High-assurance Post-Quantum Crypto with Franziskus Kiefer and Karthik Bhargavan

Listen for free

View show details

  • Summary

  • 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)
    Show More Show Less
Politics & Government Mathematics Science
Show More Show Less

What listeners say about High-assurance Post-Quantum Crypto with Franziskus Kiefer and Karthik Bhargavan

Average Customer Ratings

Reviews - Please select the tabs below to change the source of reviews.

Audible.com.au reviews

Amazon Reviews
No Reviews are Available
In the spirit of reconciliation, Audible acknowledges the Traditional Custodians of country throughout Australia and their connections to land, sea and community. We pay our respect to their elders past and present and extend that respect to all Aboriginal and Torres Strait Islander peoples today.