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

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

0 Hinnangud
0
Osa
39 of 58
Kestus
56 min
Keel
inglise
Vorming
Kategooria
Teadmiskirjandus

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)


Loe ja kuula

Astu lugude lõputusse maailma

  • Suurim valik eestikeelseid audio- ja e-raamatuid
  • Proovi tasuta
  • Loe ja kuula nii palju, kui soovid
  • Lihtne igal ajal tühistada
Proovi tasuta
Device Banner Block-copy 894x1036
Cover for High-assurance Post-Quantum Crypto with Franziskus Kiefer and Karthik Bhargavan

Muud podcastid, mis võivad sulle meeldida ...