benjaminlipp.de August 2018
08/04/2018
A Mechanised Computational Analysis of the WireGuard Virtual Private Network Protocol
Telegram’s new passport service is vulnerable to brute force attacks
virgilsecurity.com August 2018
Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives
github.com August 2018
Breaking the Bluetooth Pairing: Fixed Coordinate Invalid Curve Attack
www.cs.technion.ac.il July 2018
chosen ciphertext security in public-key encryption
blog.cryptographyengineering.com July 2018
Horst Feistel - Cryptography and Computer Privacy (Scientific American, May 1973, Volume 228)
www.apprendre-en-ligne.net July 2018
Current trends and challenges in post-quantum cryptography
www.math.auckland.ac.nz July 2018
Zero-Knowledge Proofs What are they, how do they work, and are they fast yet?
zkp.science July 2018