jonasl
userLookups are fast and subtly unsound. Careful.
Submissions
- The Case Against Formal Verification, 50 Years Later - Ivan Gavran
- Post-Quantum Crypto Just Got a Chip to Run On
- A Complexity-Theoretic Approach to Proofs of Space
- LFSRs and Boolean Masking: An In-depth Security Analysis
- U.S. Quantum Push Raises the Stakes for Post-Quantum Security
- Post-Quantum Internet Key Exchange via Authenticated Forward-Secure KEM
- Generalized Wiener-Type Attacks on Two RSA-Like Cryptosystems
- E-MagDiP: Electro-Magnetic based Differential Privacy for EEG based Community Sensing