libfte.org June 2017
06/08/2017
Black Hat 2017 USA – OpenCrypto: Unchaining the JavaCard Ecosystem
dan.enigmabridge.com May 2017
Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate
prosecco.gforge.inria.fr May 2017