A Fully Homomorphic Crypto-Processor Design

Correctness of a Secret Computer
  • Peter T. Breuer
  • Jonathan P. Bowen
Conference paper

DOI: 10.1007/978-3-642-36563-8_9

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7781)
Cite this paper as:
Breuer P.T., Bowen J.P. (2013) A Fully Homomorphic Crypto-Processor Design. In: Jürjens J., Livshits B., Scandariato R. (eds) Engineering Secure Software and Systems. ESSoS 2013. Lecture Notes in Computer Science, vol 7781. Springer, Berlin, Heidelberg

Abstract

A KPU is a replacement for a standard CPU that natively runs encrypted machine code on encrypted data in registers and memory – a ‘crypto-processor unit’, in other words. Its computations are opaque to an observer with physical access to the processor but remain meaningful to the owner of the computation. In theory, a KPU can be run in simulation and remain as secure (or otherwise) as in hardware. Any block cipher with a block-size of about a word is compatible with this developing technology, the long-term aim of which is to make it safe to entrust data-oriented computation to a remote environment.

Hardware is arranged in a KPU to make the chosen cipher behave as a mathematical homomorphism with respect to computer arithmetic. We describe the architecture formally here and show that ‘type-safe’ programs run correctly when encrypted.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Peter T. Breuer
    • 1
  • Jonathan P. Bowen
    • 2
  1. 1.Department of Computer ScienceUniversity of BirminghamUK
  2. 2.Faculty of BusinessLondon South Bank UniversityUK

Personalised recommendations