Browsing by Subject "interdependent mechanisms"
Now showing items 1-1 of 1
-
Verifiably Secure Devices
(2007-12-05)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 ...