241 search results - page 32 / 49 » Machine-Checked Security Proofs of Cryptographic Signature S... |
EUROCRYPT
2006
Springer
15 years 3 months ago
2006
Springer
Non-interactive zero-knowledge (NIZK) proof systems are fundamental cryptographic primitives used in many constructions, including CCA2-secure cryptosystems, digital signatures, an...
ACNS
2007
Springer
15 years 3 months ago
2007
Springer
Based on the notion of accumulators, we propose a new cryptographic scheme called universal accumulators. This scheme enables one to commit to a set of values using a short accumul...
WAIFI
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. We focus on the implementation and security aspects of cryptographic protocols that use Type 1 and Type 4 pairings. On the implementation front, we report improved timing...
GLOBECOM
2006
IEEE
15 years 5 months ago
2006
IEEE
- In recent years, many quantum cryptographic schemes have been proposed. However, it seems that there are many technical difficulties to realize them (except Quantum Key Distribut...
ASIACRYPT
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. The problem of proving a number is of a given arithmetic format with some prime elements, is raised in RSA undeniable signature, group signature and many other cryptograp...