Accession Number : AD1034943


Title :   A Foundational Proof Framework for Cryptography


Descriptive Note : Technical Report


Corporate Author : Harvard University Cambridge United States


Personal Author(s) : Petcher,Adam


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/1034943.pdf


Report Date : 01 May 2015


Pagination or Media Count : 137


Abstract : I present a state-of-the-art mechanized framework for developing and checking proofs of security for cryptographic schemes in the computational model. This system, called the Foundational Cryptography Framework (FCF) is based on the Coq proof assistant, and it provides a sophisticated mechanism for reasoning about cryptography on top of a simple semantics and a small trusted computing base.


Descriptors :   Cryptography , computer security , PROBABILISTIC MODELS , semantics , algorithms


Subject Categories : Cybernetics


Distribution Statement : APPROVED FOR PUBLIC RELEASE