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

  • Jan 29 2024
  • Duración: 56 m
  • Podcast

High-assurance Post-Quantum Crypto with Franziskus Kiefer and Karthik Bhargavan Por arte de portada

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

Escúchala gratis

Ver detalles del espectáculo

  • Resumen

  • 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)
    Más Menos
activate_primeday_promo_in_buybox_DT
Política y Gobierno Matemáticas Ciencia
Más Menos

Lo que los oyentes dicen sobre High-assurance Post-Quantum Crypto with Franziskus Kiefer and Karthik Bhargavan

Calificaciones medias de los clientes

Reseñas - Selecciona las pestañas a continuación para cambiar el origen de las reseñas.

Reseñas de Audible.com

Opiniones de Amazon
No hay comentarios disponibles