Practical implementation of lattice-based program obfuscators for point functions

L. Bahler, G. Di Crescenzo, Y. Polyakov, K. Rohloff, D. B. Cousins

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Scopus citations

Abstract

Lattice-based cryptography has recently produced several time-efficient cryptosystems that are provably secure under assumptions that are not known to be more easily solvable by quantum computers. An interesting research direction is improving their storage complexity, as current solutions are far from practical with respect to this metric. In this paper we show that program obfuscators for point functions based on lattice theory which are time-efficient, storage-efficient, and provably secure under studied modifications of assumptions commonly studied in lattice-based cryptography (i.e., LWE and LWR assumptions). Point function obfuscators have recently been shown to be the first examples of program obfuscators provable under hardness assumptions commonly used in cryptography. Point functions can be seen as functions that return 1 if the input value is equal to a secret value stored in the program, and 0 otherwise. Notable implementation results due to our design and coding optimizations are: (a) a point function obfuscator based on a modified LWR assumption with running time 0.01s and storage less than 100B, and (b) a point function obfuscator based on modified LWE assumption with running time 0.2s and storage less than 35KB, both using commodity computing resources.

Original languageEnglish (US)
Title of host publicationProceedings - 2017 International Conference on High Performance Computing and Simulation, HPCS 2017
EditorsWaleed W. Smari
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages761-768
Number of pages8
ISBN (Electronic)9781538632505
DOIs
StatePublished - Sep 12 2017
Event15th International Conference on High Performance Computing and Simulation, HPCS 2017 - Genoa, Italy
Duration: Jul 17 2017Jul 21 2017

Publication series

NameProceedings - 2017 International Conference on High Performance Computing and Simulation, HPCS 2017

Other

Other15th International Conference on High Performance Computing and Simulation, HPCS 2017
Country/TerritoryItaly
CityGenoa
Period7/17/177/21/17

All Science Journal Classification (ASJC) codes

  • Computer Science Applications
  • Information Systems and Management
  • Modeling and Simulation
  • Computer Networks and Communications
  • Computer Science (miscellaneous)

Fingerprint

Dive into the research topics of 'Practical implementation of lattice-based program obfuscators for point functions'. Together they form a unique fingerprint.

Cite this