Show simple item record

dc.contributor.advisorPeikert, Christopher
dc.contributor.authorCrockett, Eric
dc.date.accessioned2017-08-17T19:01:36Z
dc.date.available2017-08-17T19:01:36Z
dc.date.created2017-08
dc.date.issued2017-07-27
dc.date.submittedAugust 2017
dc.identifier.urihttp://hdl.handle.net/1853/58734
dc.description.abstractLattice cryptography has many compelling features, like security under worst-case hardness assumptions, apparent security against quantum attacks, efficiency and parallelism, and powerful constructions like fully homomorphic encryption. While standard constructions such as lattice-based key exchange are starting to be deployed in real-world scenarios, the most powerful lattice cryptosystems are still limited to research prototypes. This is due in part to the difficulty of implementing, instantiating, and using these schemes. In this work we present a collection of tools to facilitate broader use of lattice cryptography by improving accessibility and usability. The foundation of this work is Λ∘λ, a general-purpose software framework for lattice cryptography. The Λ∘λ library has several features which distinguish it from prior implementations, including high-level abstractions for lattice operations, advanced functionality needed for applications like homomorphic encryption, and safe interfaces. Many efficient lattice cryptosystems are based on the relatively new Learning With Errors over Rings (Ring-LWE) problem. In order to attract cryptanalytic effort and improve concrete security estimates for this widely used problem, we publish challenges for Ring-LWE and the related Learning With Rounding over Rings problem. Unlike challenges for other cryptographic problems like integer factorization, a dishonest challenger can make Ring-LWE challenges which are much harder to solve than properly generated ones. Thus we propose and implement a non-interactive, publicly verifiable cut-and-choose protocol which provides reasonably convincing evidence that the challenges are properly generated. Finally, we introduce ALCHEMY, a domain-specific language and compiler for homomorphic computations. In existing implementations of homomorphic encryption, users must manually represent a desired plaintext computation as a much more complex sequence of operations on ciphertexts. ALCHEMY automates most of the steps in this process, which dramatically reduces the expertise needed to use homomorphic encryption.
dc.format.mimetypeapplication/pdf
dc.language.isoen_US
dc.publisherGeorgia Institute of Technology
dc.subjectRing cryptography
dc.subjectLattice cryptography
dc.subjectFunctional programming
dc.subjectHaskell
dc.subjectDomain-specific language
dc.subjectFully homomorphic encryption
dc.subjectLearning with errors
dc.subjectLearning with rounding
dc.titleSimply safe lattice cryptography
dc.typeDissertation
dc.description.degreePh.D.
dc.contributor.departmentComputer Science
thesis.degree.levelDoctoral
dc.contributor.committeeMemberHalderman, Alex
dc.contributor.committeeMemberBoldyreva, Alexandra
dc.contributor.committeeMemberLipton, Richard
dc.contributor.committeeMemberCostello, Craig
dc.date.updated2017-08-17T19:01:36Z


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record