9888 search results - page 1553 / 1978 » compute 2009 |
182
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
177
click to vote
CHES
2009
Springer
16 years 7 months ago
2009
Springer
Tamper-proof devices are pretty powerful. They can be used to have better security in applications. In this work we observe that they can also be maliciously used in order to defea...
189
click to vote
FSE
2009
Springer
16 years 7 months ago
2009
Springer
Message Authentication Codes (MACs) are core algorithms deployed in virtually every security protocol in common usage. In these protocols, the integrity and authenticity of messag...
160
click to vote
TCC
2009
Springer
16 years 7 months ago
2009
Springer
We address one of the foundational problems in cryptography: the bias of coin-flipping protocols. Coin-flipping protocols allow mutually distrustful parties to generate a common u...
219
click to vote
PKC
2009
Springer
16 years 7 months ago
2009
Springer
Abstract.We introduce the notion of distributed password-based publickey cryptography, where a virtual high-entropy private key is implicitly dened as a concatenation of low-entrop...