Cryptology ePrint Archive: Report 2019/301

Safe Compilation for Encrypted Computing

Peter T. Breuer and Simon Pickin

Abstract: Encrypted computing is an emerging field in which inputs, outputs and intermediates are maintained in encrypted form in a processor, conferring security on user data against the operator and operating system as adversaries, which run unencrypted in the same machine. Systems that pass encrypted addresses to memory without decryption close a major attack vector and allow off-the-shelf memory to be used. But that makes memory unreliable from the program's perspective, as the many different encryptions of a plaintext address access different memory locations that the program sees as the same with varying contents. A clever `obfuscating' compiler solves the problem, opening up the field.

Category / Keywords: applications / Encrypted computing, compilers, obfuscation

Date: received 15 Mar 2019

Contact author: Peter T Breuer at gmail com

Available format(s): PDF | BibTeX Citation

Version: 20190320:102907 (All versions of this report)

Short URL: ia.cr/2019/301


[ Cryptology ePrint archive ]