با برنامه Player FM !
High-assurance Post-Quantum Crypto with Franziskus Kiefer and Karthik Bhargavan
Manage episode 398279595 series 2956114
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)
فصل ها
1. High-assurance Post-Quantum Crypto with Franziskus Kiefer and Karthik Bhargavan (00:00:00)
2. ML-KEM Implementation in Rust (00:00:12)
3. High-assurance Software Development (00:11:55)
4. Understanding Secret Independence and Crypto Proofs (00:19:07)
5. Vulnerabilities in ML-KEM Encryption Process (00:30:45)
6. Protocol Design (00:43:02)
7. Transitioning to Rust and Post-Quantum Cryptography (00:49:17)
55 قسمت
Manage episode 398279595 series 2956114
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)
فصل ها
1. High-assurance Post-Quantum Crypto with Franziskus Kiefer and Karthik Bhargavan (00:00:00)
2. ML-KEM Implementation in Rust (00:00:12)
3. High-assurance Software Development (00:11:55)
4. Understanding Secret Independence and Crypto Proofs (00:19:07)
5. Vulnerabilities in ML-KEM Encryption Process (00:30:45)
6. Protocol Design (00:43:02)
7. Transitioning to Rust and Post-Quantum Cryptography (00:49:17)
55 قسمت
همه قسمت ها
×
1 E2EE Storage Done Right with Matilda Backendal Jonas Hofmann and Kien Tuong Trong 1:02:25

1 Cryptanalyzing LLMs with Nicholas Carlini 1:20:42

1 Dual_EC_DRBG with Justin Schuh and Matthew Green 1:07:45

1 A Little Bit of Rust Goes a Long Way with Android's Jeff Vander Stoep 1:13:55

1 Campaign Security with [REDACTED] 1:23:39

1 Telegram with Matthew Green 1:04:04

1 Zero Day Markets with Mark Dowd 1:25:49

1 STIR/SHAKEN with Paul Grubbs and Josh Brown 1:01:47
به Player FM خوش آمدید!
Player FM در سراسر وب را برای یافتن پادکست های با کیفیت اسکن می کند تا همین الان لذت ببرید. این بهترین برنامه ی پادکست است که در اندروید، آیفون و وب کار می کند. ثبت نام کنید تا اشتراک های شما در بین دستگاه های مختلف همگام سازی شود.