61 search results - page 5 / 13 » A Machine-Checked Formalization of the Random Oracle Model |
IJNSEC
2008
14 years 9 months ago
2008
The notion of strong designated verifier signature was put forth by Jakobsson, Sako and Impagliazzo in 1996, but the formal definition was defined recently by Saeednia, Kremer and...
76
Voted
IJISEC
2007
14 years 9 months ago
2007
Abstract. We examine the popular proof models for group key establishment of Bresson et al. [BCPQ01,BCP01] and point out missing security properties addressing malicious protocol p...
90
Voted
PROVSEC
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Signcryption as a single cryptographic primitive offers both confidentiality and authentication simultaneously. Generally in signcryption schemes, the message is hidden a...
106
click to vote
ASIACRYPT
2004
Springer
15 years 1 months ago
2004
Springer
Group signature schemes are cryptographic systems that provide revocable anonymity for signers. We propose a group signature scheme with constant-size public key and signature leng...
93
Voted
CTRSA
2005
Springer
15 years 3 months ago
2005
Springer
Undeniable signatures were introduced in 1989 by Chaum and van Antwerpen to limit the self-authenticating property of digital signatures. An extended concept – the convertible un...