4340 search results - page 88 / 868 » Formal Methods and Cryptography |
102
Voted
CAV
2004
Springer
15 years 9 months ago
2004
Springer
73
Voted
FMCAD
2004
Springer
15 years 9 months ago
2004
Springer
87
Voted
IFM
2009
Springer
15 years 8 months ago
2009
Springer
147
Voted
ACNS
2007
Springer
15 years 10 months 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...
132
Voted
EUROCRYPT
2004
Springer
15 years 9 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...