Accession Number:

AD1034943

Title:

A Foundational Proof Framework for Cryptography

Descriptive Note:

Technical Report

Corporate Author:

Harvard University Cambridge United States

Personal Author(s):

Report Date:

2015-05-01

Pagination or Media Count:

137.0

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.

Subject Categories:

  • Cybernetics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE