papers.mathyvanhoef.com August 2018
08/08/2018
Symbolic Execution of Security Protocol Implementations: Handling Cryptographic Primitives
Deploying TLS 1.3 at Facebook with Fizz, a performant open source TLS library
code.fb.com August 2018
A Mechanised Computational Analysis of the WireGuard Virtual Private Network Protocol
benjaminlipp.de August 2018
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