4340 search results - page 88 / 868 » Formal Methods and Cryptography |
188
click to vote
ACNS
2007
Springer
16 years 27 days ago
2007
Springer
In 1990, Boyar, Chaum, Damg˚ard and Pedersen introduced convertible undeniable signatures which limit the self-authenticating property of digital signatures but can be converted b...
173
click to vote
EUROCRYPT
2004
Springer
16 years 3 days ago
2004
Springer
In trying to provide formal evidence that composition has security increasing properties, we ask if the composition of non-adaptively secure permutation generators necessarily pro...