Paper 2014/338

A Tamper and Leakage Resilient von Neumann Architecture

Sebastian Faust, Pratyay Mukherjee, Jesper Buus Nielsen, and Daniele Venturi


We present a universal framework for tamper and leakage resilient computation on a von Neumann Random Access Architecture (RAM in short). The RAM has one CPU that accesses a storage, which we call the disk. The disk is subject to leakage and tampering. So is the bus connecting the CPU to the disk. We assume that the CPU is leakage and tamper-free. For a fixed value of the security parameter, the CPU has constant size. Therefore the code of the program to be executed is stored on the disk, i.e., we consider a von Neumann architecture. The most prominent consequence of this is that the code of the program executed will be subject to tampering. We construct a compiler for this architecture which transforms any keyed primitive into a RAM program where the key is encoded and stored on the disk along with the program to evaluate the primitive on that key. Our compiler only assumes the existence of a so-called continuous non-malleable code, and it only needs black-box access to such a code. No further (cryptographic) assumptions are needed. This in particular means that given an information theoretic code, the overall construction is information theoretic secure. Although it is required that the CPU is tamper and leakage proof, its design is independent of the actual primitive being computed and its internal storage is non-persistent, i.e., all secret registers are reset between invocations. Hence, our result can be interpreted as reducing the problem of shielding arbitrary complex computations to protecting a single, simple yet universal component.

Available format(s)
Publication info
A major revision of an IACR publication in PKC 2015
tamper resistancenon-malleable codes
Contact author(s)
danone83 @ gmail com
2015-02-19: last of 5 revisions
2014-05-15: received
See all versions
Short URL
Creative Commons Attribution


      author = {Sebastian Faust and Pratyay Mukherjee and Jesper Buus Nielsen and Daniele Venturi},
      title = {A Tamper and Leakage Resilient von Neumann Architecture},
      howpublished = {Cryptology ePrint Archive, Paper 2014/338},
      year = {2014},
      note = {\url{}},
      url = {}
Note: In order to protect the privacy of readers, does not use cookies or embedded third party content.