29 citations · 66 across the 15 of their papers we have counts for
16 papers
(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…
Provably Correct Systems: Community, connections, and citations
Jonathan P. Bowen
The original European ESPRIT ProCoS I and II projects on Provably Correct Systems} took place around a quarter of a century ago. Since then the legacy of the initiative has spawned…
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…
Empirical Patterns in Google Scholar Citation Counts
Peter T. Breuer, Jonathan P. Bowen
Scholarly impact may be metricized using an author's total number of citations as a stand-in for real worth, but this measure varies in applicability between disciplines. The detai…
Electronic Visualisation in Chemistry: From Alchemy to Art
Karl Harrison, Jonathan P. Bowen, Alice M. Bowen
Chemists now routinely use software as part of their work. For example, virtual chemistry allows chemical reactions to be simulated. In particular, a selection of software is avail…