loup-vaillant.fr September 2020
09/15/2020
What does “secure” mean in Information Security?
martinralbrecht.wordpress.com September 2020
Cryptographic Security Proofs as Dynamic Malware Analysis
martinralbrecht.wordpress.com September 2020
Math competitions, crypto as alchemy & Gasper with Yan Zhang
www.zeroknowledge.fm September 2020
Performance Improvements via Formally-Verified Cryptography in Firefox
blog.mozilla.org September 2020
A few thoughts about Signal’s Secure Value Recovery
blog.cryptographyengineering.com August 2020
Security Considerations of zk-SNARK Parameter Multi-Party Computation
research.nccgroup.com August 2020
Estonian Electronic Identity Card: Security Flaws in Key Management
www.usenix.org August 2020