Paper 2022/825

Romeo: Conversion and Evaluation of HDL Designs in the Encrypted Domain

Charles Gouert, University of Delaware
Nektarios Georgios Tsoutsos, University of Delaware
Abstract

As cloud computing becomes increasingly ubiquitous, protecting the confidentiality of data outsourced to third parties becomes a priority. While encryption is a natural solution to this problem, traditional algorithms may only protect data at rest and in transit, but do not support encrypted processing. In this work we introduce Romeo, which enables easy-to-use privacy-preserving processing of data in the cloud using homomorphic encryption. Romeo automatically converts arbitrary programs expressed in Verilog HDL into equivalent homomorphic circuits that are evaluated using encrypted inputs. For our experiments, we employ cryptographic circuits, such as AES, and benchmarks from the ISCAS'85 and ISCAS'89 suites.

Note: The Romeo framework is open-source and is available here: https://github.com/TrustworthyComputing/Romeo

Metadata
Available format(s)
PDF
Category
Applications
Publication info
Published elsewhere. ACM/IEEE Design Automation Conference (DAC)
Keywords
Fully Homomorphic Encryption Encrypted Processing Sequential Circuits Scheme Hopping
Contact author(s)
cgouert @ udel edu
tsoutsos @ udel edu
History
2022-06-23: approved
2022-06-23: received
See all versions
Short URL
https://ia.cr/2022/825
License
Creative Commons Attribution-ShareAlike
CC BY-SA

BibTeX

@misc{cryptoeprint:2022/825,
      author = {Charles Gouert and Nektarios Georgios Tsoutsos},
      title = {Romeo: Conversion and Evaluation of {HDL} Designs in the Encrypted Domain},
      howpublished = {Cryptology {ePrint} Archive, Paper 2022/825},
      year = {2022},
      url = {https://eprint.iacr.org/2022/825}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.