4340 search results - page 88 / 868 » Formal Methods and Cryptography |
FMCAD
2004
Springer
15 years 11 months ago
2004
Springer
179
click to vote
ACNS
2007
Springer
16 years 14 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...
167
click to vote
EUROCRYPT
2004
Springer
15 years 11 months 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...