• 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

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
activate_samplebutton_t1

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.co.uk reviews

Amazon reviews
No Reviews are Available