Verifiably Secure Devices

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 pr...

Full description

Bibliographic Details
Main Authors: Lepinski, Matt, Micali, Silvio, Izmalkov, Sergei
Other Authors: Silvio Micali
Published: 2007
Subjects:
Online Access:http://hdl.handle.net/1721.1/39659