SC
Security Cryptography Whatever
@scwpod.bsky.social
@durumcrustulum.com, @sockpuppet.org, @dadrian.io
“Freewheelin’ dynamic”.
securitycryptographywhatever.com
podcasts.apple.com/us/podcast/feed/id1578405214
311 followers3 following30 posts
NEW EPISODE!! Get yer high-assurance Kyber software, here! Fresh out the hax Rust/F*/C pipeline! It's secret Independent, fast as hell, provably correct and smells good too! securitycryptographywhatever.com/2024/01/29/h...www.youtube.com/watch?v=LS5Z...
High-assurance Post-Quantum Crypto with Franziskus Kiefer and Karthik Bhargavan
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 ...
SC
Security Cryptography Whatever
@scwpod.bsky.social
@durumcrustulum.com, @sockpuppet.org, @dadrian.io
“Freewheelin’ dynamic”.
securitycryptographywhatever.com
podcasts.apple.com/us/podcast/feed/id1578405214
311 followers3 following30 posts