Paper 2013/819
Safe enclosures: towards cryptographic techniques for server protection
Sergiu Bursuc and Julian P. Murphy
Abstract
Cryptography is generally used to protect sensitive data from an untrusted server. In this paper, we investigate the converse question: can we use cryptography to protect a trusted server from untrusted data? As a first step in this direction, we propose the notion of safe enclosures. Intuitively, a safe enclosure is a cryptographic primitive that encapsulates data in a way that allows to perform some computation on it, while at the same time protecting the server from malicious data. Furthermore, a safe enclosure should come equipped with a dedicated protocol that implements the enclosing function with unconditional integrity. Otherwise, unguarded data may reach the server. We discuss the novelty of these concepts, propose their formal definition and show several realizations.
Metadata
- Available format(s)
-
PDF
- Category
- Foundations
- Publication info
- Preprint. MINOR revision.
- Keywords
- attacker modelscomputation on encrypted datatrusted computingcryptographic properties
- Contact author(s)
- s bursuc @ bristol ac uk
- History
- 2013-12-06: received
- Short URL
- https://ia.cr/2013/819
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2013/819,
author = {Sergiu Bursuc and Julian P. Murphy},
title = {Safe enclosures: towards cryptographic techniques for server protection},
howpublished = {Cryptology {ePrint} Archive, Paper 2013/819},
year = {2013},
url = {https://eprint.iacr.org/2013/819}
}
