9 citations · 15 across the 12 of their papers we have counts for
8 papers · 1 filter
An Obfuscating C Compiler for Encrypted Computing
Peter Breuer
This paper describes an `obfuscating' C compiler for encrypted computing. The context consists of (i) a processor that `works encrypted', taking in encrypted inputs and producing e…
Chaotic Compilation for Encrypted Computing: Obfuscation but Not in Name
Peter T. Breuer
An `obfuscation' for encrypted computing is quantified exactly here, leading to an argument that security against polynomial-time attacks has been achieved for user data via the de…
Compiled Obfuscation for Data Structures in Encrypted Computing
Peter T. Breuer
Encrypted computing is an emerging technology based on a processor that `works encrypted', taking encrypted inputs to encrypted outputs while data remains in encrypted form through…
Safe Compilation for Hidden Deterministic Hardware Aliasing and Encrypted Computing
Peter T. Breuer
Hardware aliasing occurs when the same logical address sporadically accesses different physical memory locations and is a problem encountered by systems programmers (the opposite,…
(Un)Encrypted Computing and Indistinguishability Obfuscation
Peter T. Breuer, Jonathan P. Bowen
This paper first describes an `obfuscating' compiler technology developed for encrypted computing, then examines if the trivial case without encryption produces much-sought indisti…
A First Practical Fully Homomorphic Crypto-Processor Design: The Secret Computer is Nearly Here
Peter Breuer, Jonathan Bowen
Following a sequence of hardware designs for a fully homomorphic crypto-processor - a general purpose processor that natively runs encrypted machine code on encrypted data in regis…
On the Security of Fully Homomorphic Encryption and Encrypted Computing: Is Division safe?
Peter T. Breuer, Jonathan P. Bowen
Since fully homomorphic encryption and homomorphically encrypted computing preserve algebraic identities such as 2*2=2+2, a natural question is whether this extremely utilitarian f…
An Open Question on the Uniqueness of (Encrypted) Arithmetic
Peter T. Breuer, Jonathan P. Bowen
We ask whether two or more images of arithmetic may inhabit the same space via different encodings. The answers have significance for a class of processor design that does all its…