Verified Correctness and Security of mbedTLS HMAC-DRBG

28 August 2017

Papers citing "Verified Correctness and Security of mbedTLS HMAC-DRBG"

5 / 5 papers shown

Title
StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator Antonin Reitz Aymeric Fromherz Jonathan Protzenko LRM 16 0 0 14 Mar 2024
CryptoBap: A Binary Analysis Platform for Cryptographic Protocols Faezeh Nasrabadi Robert Künnemann Hamed Nemati 27 2 0 28 Aug 2023
Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda Caroline Carreira J. Ferreira A. Mendes Nicolas Christin 11 8 0 16 Nov 2021
The Last Mile: High-Assurance and High-Speed Cryptographic Implementations J. Almeida M. Barbosa Gilles Barthe B. Grégoire Adrien Koutsos Vincent Laporte Tiago Oliveira Pierre-Yves Strub 11 63 0 09 Apr 2019
The Foundational Cryptography Framework Adam Petcher Greg Morrisett LRM 30 101 0 14 Oct 2014