The Last Mile: High-Assurance and High-Speed Cryptographic Implementations

9 April 2019

Gilles Barthe

Papers citing "The Last Mile: High-Assurance and High-Speed Cryptographic Implementations"

3 / 3 papers shown

Title
Eliminating Timing Side-Channel Leaks using Program Repair Meng Wu Shengjian Guo Patrick Schaumont Chao Wang 65 109 0 06 Jun 2018
Verified Correctness and Security of mbedTLS HMAC-DRBG Katherine Q. Ye M. Green Naphat Sanguansin Lennart Beringer Adam Petcher A. Appel 52 59 0 28 Aug 2017
Verified Low-Level Programming Embedded in F* Jonathan Protzenko J. Zinzindohoué Aseem Rastogi Tahina Ramananandro Peng Wang ... Antoine Delignat-Lavaud Cătălin Hriţcu K. Bhargavan Cédric Fournet Nikhil Swamy 36 155 0 28 Feb 2017