Abstract | ||
---|---|---|
Universally composable secure computation was assumed to require trusted setups, until it was realized that parties exchanging (untrusted) tamper-proof hardware tokens allow an alternative approach (Katz; EUROCRYPT 2007). This discovery initialized a line of research dealing with two different types of tokens. Using only a single stateful token, one can implement general statistically secure two-party computation (Dottling, Kraschewski, Muller-Quade; TCC 2011); though all security is lost if an adversarial token receiver manages to physically reset and rerun the token. Stateless tokens, which are secure by definition against any such resetting-attacks, however, do provably not suffice for statistically secure computation in general (Goyal, Ishai, Mahmoody, Sahai; CRYPTO 2010). We investigate the natural question of what is possible if an adversary can reset a token at most a bounded number of times (e. g., because each resetting attempt imposes a significant risk to trigger a self-destruction mechanism of the token). Somewhat surprisingly, our results come close to the known positive results with respect to non-resettable stateful tokens. In particular, we construct polynomially many instances of statistically secure and universally composable oblivious transfer, using only a constant number of tokens. Our techniques have some abstract similarities to previous solutions, which we grasp by defining a new security property for protocols that use oracle access. Additionally, we apply our techniques to zero-knowledge proofs and obtain a protocol that achieves the same properties as bounded-query zero-knowledge PCPs (Kilian, Petrank, Tardos; STOC 1997), even if a malicious prover may issue stateful PCP oracles. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1007/978-3-662-46494-6_14 | Lecture Notes in Computer Science |
DocType | Volume | ISSN |
Journal | 9014 | 0302-9743 |
Citations | PageRank | References |
5 | 0.39 | 47 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Nico Döttling | 1 | 164 | 12.96 |
Daniel Kraschewski | 2 | 72 | 5.91 |
Jörn Müller-Quade | 3 | 361 | 38.34 |
Tobias Nilges | 4 | 26 | 5.01 |