783 search results - page 114 / 157 » On security proof of McCullagh |
138
click to vote
CRYPTO
2009
Springer
15 years 10 months ago
2009
Springer
We present the first signature scheme which is “short”, stateless and secure under the RSA assumption in the standard model. Prior short, standard model signatures in the RSA...
134
click to vote
SOUPS
2009
ACM
15 years 10 months ago
2009
ACM
Randomness is a necessary ingredient in various computational tasks and especially in Cryptography, yet many existing mechanisms for obtaining randomness suffer from numerous pro...
130
click to vote
SADFE
2008
IEEE
15 years 10 months ago
2008
IEEE
Secure logs are powerful tools for building systems that must resist forgery, prove temporal relationships, and stand up to forensic scrutiny. The proofs of order and integrity en...
119
click to vote
ICDCS
2007
IEEE
15 years 10 months ago
2007
IEEE
An electronic cash system allows users to withdraw coins, represented as bit strings, from a bank or broker, and spend those coins anonymously at participating merchants, so that ...
144
click to vote
FSTTCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...