241 search results - page 7 / 49 » Machine-Checked Security Proofs of Cryptographic Signature S... |
IJNSEC
2006
13 years 8 months ago
2006
A directed signature scheme allows a designated verifier to directly verify a signature issued to him, and a third party to check the signature validity with the help of the signe...
CANS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. At CRYPTO 2003, Rubin and Silverberg introduced the concept of torus-based cryptography over a finite field. We extend their setting to the ring of integers modulo N. W...
PKC
2001
Springer
14 years 1 months ago
2001
Springer
This paper introduces a novel class of computational problems, the gap problems, which can be considered as a dual to the class of the decision problems. We show the relationship a...
EUROCRYPT
2004
Springer
14 years 1 months ago
2004
Springer
PAIRING
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Efficient non-interactive zero-knowledge proofs are a powerful tool for solving many cryptographic problems. We apply the recent Groth-Sahai (GS) proof system for pairing...