*********************************
There is now a CONTENT FREEZE for Mercury while we switch to a new platform. It began on Friday, March 10 at 6pm and will end on Wednesday, March 15 at noon. No new content can be created during this time, but all material in the system as of the beginning of the freeze will be migrated to the new platform, including users and groups. Functionally the new site is identical to the old one. webteam@gatech.edu
*********************************
Title: A Software Platform for Lattice Cryptography
Eric Crockett
School of Computer Science
College of Computing
Georgia Institute of Technology
Date: Thursday, January 21st, 2016
Time: 9 AM to 11 AM EST
Location: University of Michigan, BBB 2725
Committee:
----------------
Dr. Chris Peikert (Advisor, Computer Science and Engineering, University of Michigan) Dr. Sasha Boldreva (School of Computer Science, Georgia Tech) Dr. Craig Costello (Microsoft Research) Dr. J. Alex Halderman (Computer Science and Engineering, University of Michigan) Dr. Richard Lipton (School of Computer Science, Georgia Tech)
Abstract:
-------------
Lattice-based cryptography offers attractive features like apparent resistance to quantum attacks; good efficiency and parallelism; and versatile cryptographic constructions like identity-based, attribute-based, and fully homomorphic encryption. Unfortunately the definitions of lattice schemes involve advanced mathematics, and many subtleties arise in their implementation. We propose a software platform that provides a safe, efficient, and general framework for lattice cryptography, and special tools to simplify homomorphic encryption.
Specifically, we introduce Λ◦λ, a modular library for lattice cryptography based on the functional language Haskell that can be used to build a wide variety of lattice-based cryptographic primitives, including homomorphic encryption. We also present a "homomorphic compiler" that automatically translates the description of lattice schemes into homomorphic versions of those schemes.
