(Un)Encrypted Computing and Indistinguishability Obfuscation
arXiv:1811.12365
Abstract
This paper first describes an `obfuscating' compiler technology developed for encrypted computing, then examines if the trivial case without encryption produces much-sought indistinguishability obfuscation.
2 pages, extended abstract for Principles of Secure Compilation (PriSC'19) at Principles of Programming Languages (POPL'19), Lisbon 2019