Verifiably Secure Devices
Author(s)
Lepinski, Matt; Micali, Silvio; Izmalkov, Sergei
DownloadMIT-CSAIL-TR-2007-056.pdf (371.7Kb)
Additional downloads
Other Contributors
Theory of Computation
Advisor
Silvio Micali
Metadata
Show full item recordAbstract
We put forward the notion of a verifiably secure device, in essence a stronger notion of secure computation, and achieve it in the ballot-box model. Verifiably secure devices1. Provide a perfect solution to the problem of achieving correlated equilibrium, an important and extensively investigated problem at the intersection of game theory, cryptography and efficient algorithms; and2. Enable the secure evaluation of multiple interdependent functions.
Date issued
2007-12-05Other identifiers
MIT-CSAIL-TR-2007-056
Keywords
interdependent functions, correlated equilibrium, Implementation, interdependent mechanisms