www.zeroknowledge.fm September 2020
09/10/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
[new record] Comparing the difficulty of factorization and discrete logarithm: a 240-digit experiment
eprint.iacr.org August 2020
HACL×N: Verified Generic SIMD Crypto (for all your favorite platforms)
eprint.iacr.org August 2020
Fluid MPC: Secure Multiparty Computation with Dynamic Participants
eprint.iacr.org August 2020