blog.higashi.tech September 2020
09/04/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
New results on Gimli: full-permutation distinguishers and improved collisions
eprint.iacr.org August 2020