Authors
Matteo Campanelli, Rosario Gennaro
Publication date
2018/11/8
Book
Theory of Cryptography Conference
Pages
66-97
Publisher
Springer International Publishing
Description
This paper initiates a study of Fine Grained Secure Computation: i.e. the construction of secure computation primitives against “moderately complex” adversaries. We present definitions and constructions for compact Fully Homomorphic Encryption and Verifiable Computation secure against (non-uniform) adversaries. Our results do not require the existence of one-way functions and hold under a widely believed separation assumption, namely . We also present two application scenarios for our model: (i) hardware chips that prove their own correctness, and (ii) protocols against rational adversaries potentially relevant to the Verifier’s Dilemma in smart-contracts transactions such as Ethereum.
Total citations
20182019202020212022202320241531141
Scholar articles
M Campanelli, R Gennaro - Theory of Cryptography Conference, 2018