61 search results - page 4 / 13 » A Machine-Checked Formalization of the Random Oracle Model |
101
Voted
CANS
2009
Springer
14 years 7 months ago
2009
Springer
Group signatures allow users to anonymously sign messages in the name of a group. Membership revocation has always been a critical issue in such systems. In 2004, Boneh and Shacham...
83
Voted
ASIACRYPT
2006
Springer
15 years 1 months ago
2006
Springer
Understanding what construction strategy has a chance to be a good hash function is extremely important nowadays. In TCC'04, Maurer et al. [13] introduced the notion of indiff...
CRYPTO
2000
Springer
15 years 1 months ago
2000
Springer
Partially blind signature schemes are an extension of blind signature schemes that allow a signer to explicitly include necessary information (expiration date, collateral condition...
CCS
2010
ACM
14 years 9 months ago
2010
ACM
Computational Indistinguishability Logic (CIL) is a logic for reasoning about cryptographic primitives in computational models. It captures reasoning patterns that are common in p...
102
click to vote
EUROCRYPT
2008
Springer
14 years 11 months ago
2008
Springer
Standard security notions for encryption schemes do not guarantee any security if the encrypted messages depend on the secret key. Yet it is exactly the stronger notion of security...