SynCrypt: Automated Synthesis of Cryptographic Constructions
Abstract
ABSTRACT The project will develop automated synthesis tools for developing cryptographic constructions and for automatically generating cryptographic implementations. The tools will generate security proofs for advanced cryptographic schemes whose proofs make use of algebraic reasoning, hybrid arguments, rewinding, and aborts. The tools will use a variety of cryptographic mechanisms including pairings, integer lattices, and symmetric primitives as needed. Our automated tools will similarly synthesize implementations for multi-party protocols from a high-level specification. Beyond generating clean code the project will also develop tools for automatically hardening and optimizing existing cryptographic implementations. In particular, the project will develop tools to transform a crypto implementation into one that is more resistant to side-channel attacks such as timing and to automatically optimize crypto code by leveraging new hardware instruction sets. The project is a continuation of the Autocrypt project and will build on the results developed in that project.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- May 22, 2016
- Source ID
- N000141512750
Entities
People
- Dan Boneh
Organizations
- Office of Naval Research
- Stanford University
- United States Navy