Frontiers of Provably Secure Cryptographic Protocols
Abstract
The notion of a secure computation, introduced by Yao and Goldreich, Micali andWigdersonin the early 80’s, enables a set of parties to, through the execution of a distributed communicationprotocol, securely implement any service that a trusted party could perform. Themain purpose of the proposed work is to investigating how far this idea can be pushed:In what situations can Cryptography be used to replace a trusted-third party, andat what “computational cost”?We will study this question in the provable security framework and more specifically focuson a) program obfuscation, b) concurrent security and c) developing new methods fordemonstrating limitations of provably secure protocols. A special focus will be on establishingintriguing connections between these research thrusts.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Jul 11, 2018
- Source ID
- FA95501810267
Entities
People
- Rafael Pass
Organizations
- Air Force Office of Scientific Research
- Cornell University
- United States Air Force