405 search results - page 34 / 81 » Practice-Oriented Provable Security |
134
click to vote
PROVSEC
2009
Springer
15 years 12 months ago
2009
Springer
This paper explains how to design fully secure RSA-type cryptosystems from schemes only secure against passive attacks, in the standard model. We rely on instance-independence assu...
134
Voted
ASIACRYPT
2001
Springer
15 years 9 months ago
2001
Springer
Threshold cryptosystems and signature schemes give ways to distribute trust throughout a group and increase the availability of cryptographic systems. A standard approach in design...
168
click to vote
ESORICS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract We propose an approach to certify the information flow security of multi-threaded programs independently from the scheduling algorithm. A scheduler-independent verificatio...
120
Voted
ACNS
2008
Springer
15 years 11 months ago
2008
Springer
We propose a light-weight protocol for authentication of low-power devices. Our construction PUF-HB merges the positive qualities of two families of authentication functions. PUF ...
138
click to vote
TCC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. A protocol compiler is described, that transforms any provably secure authenticated 2-party key establishment into a provably secure authenticated group key establishment...