Sveriges mest populära poddar
Security Cryptography Whatever
VetenskapTeknologi

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

56 min•29 januari 2024

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)

Fler avsnitt av Security Cryptography Whatever

Visa alla avsnitt av Security Cryptography Whatever
AI Finds Vulns You Can't With Nicholas Carlini
•1 tim 16 min
Standardizing Pure PQC
•8 min
Python Cryptography Breaks Up with OpenSSL with Paul Kehrer and Alex Gaynor
•1 tim 13 min
The IACR Can't Decrypt with Matt Bernhard
•57 min
Apple’s Memory Integrity Enforcement
•57 min
Stop Using Encrypted Email with William Woodruff
•1 tim 11 min
Alex Gaynor
•1 tim 25 min
Vegas, Baby!
•1 tim 1 min
E2EE Storage Done Right with Matilda Backendal Jonas Hofmann and Kien Tuong Truong
•1 tim 2 min
Picking Quantum Resistant Algorithms
•15 min

Security Cryptography Whatever med Deirdre Connolly, Thomas Ptacek, David Adrian finns tillgänglig på flera plattformar. Informationen på denna sida kommer från offentliga podd-flöden.