989 search results - page 184 / 198 » Pebbling and Proofs of Work |
SAC
2009
ACM
14 years 16 days ago
2009
ACM
The firmware of an electronic voting machine is typically treated as a “trusted” component of the system. Consequently, it is misconstrued to be vulnerable only to an insider...
ASIACRYPT
2001
Springer
14 years 11 days ago
2001
Springer
The number of communication rounds is a classic complexity measure for protocols; reducing round complexity is a major goal in protocol design. However, when the communication time...
ACSAC
2000
IEEE
14 years 9 days ago
2000
IEEE
It is well-known that CA plays the central role in PKI. In this paper we introduce a new component into PKI, DA (decryption authority), which decrypts important and sensitive mess...
AC
2000
Springer
14 years 7 days ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
BIRTHDAY
2000
Springer
14 years 7 days ago
2000
Springer
Niklaus Wirth has received much deserved fame for the creation of Pascal, but in many ways, he subsequently became a victim of Pascal's success. In an age of rising specializ...