241 search results - page 7 / 49 » Machine-Checked Security Proofs of Cryptographic Signature S... |
123
Voted
IJNSEC
2006
15 years 3 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...
122
Voted
CANS
2009
Springer
15 years 10 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...
145
Voted
PKC
2001
Springer
15 years 8 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...
165
click to vote
PAIRING
2009
Springer
15 years 10 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...