Cryptology ePrint Archive: Report 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.
Category / Keywords: foundations / attacker models, computation on encrypted data, trusted computing, cryptographic properties
Date: received 4 Dec 2013
Contact author: s bursuc at bristol ac uk
Available format(s): PDF | BibTeX Citation
Version: 20131206:202906 (All versions of this report)
Short URL: ia.cr/2013/819
Discussion forum: Show discussion | Start new discussion
[ Cryptology ePrint archive ]