A Foundational Proof Framework for Cryptography
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...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en |
| Published: |
Harvard University
2015
|
| Subjects: | |
| Online Access: | http://nrs.harvard.edu/urn-3:HUL.InstRepos:17463136 |