241 search results - page 22 / 49 » Machine-Checked Security Proofs of Cryptographic Signature S... |
ICISC
2003
13 years 10 months ago
2003
Abstract. A proxy signature scheme allows an entity to delegate his/her signing capability to another entity in such a way that the latter can sign messages on behalf of the former...
SCN
2010
Springer
13 years 7 months ago
2010
Springer
The Fiat-Shamir (FS) transform is a popular tool to produce particularly efficient digital signature schemes out of identification protocols. It is known that the resulting signat...
AC
1997
Springer
14 years 26 days ago
1997
Springer
This paper describes the state of the art for cryptographic primitives that are used for protecting the authenticity of information: cryptographic hash functions and digital signat...
EUROPKI
2006
Springer
14 years 11 days ago
2006
Springer
Ring signature is a group-oriented signature in which the signer can spontaneously form a group and generate a signature such that the verifier is convinced the signature was gener...
CCS
2005
ACM
14 years 2 months ago
2005
ACM
d abstract) Prateek Gupta and Vitaly Shmatikov The University of Texas at Austin We present a cryptographically sound formal method for proving correctness of key exchange protoco...