783 search results - page 5 / 157 » On security proof of McCullagh |
164
click to vote
EUROCRYPT
2012
Springer
13 years 6 months ago
2012
Springer
sion of an extended abstract published in Proceedings of Eurocrypt 2012, Springer-Verlag, 2012. Available from the IACR Cryptology ePrint Archive as Report 2012/012. Malleability ...
117
click to vote
ZUM
2000
Springer
15 years 7 months ago
2000
Springer
We have recently completed the specication and security proof of a large, industrial scale application. The application is security critical, and the modelling and proof were done ...
SP
2008
IEEE
15 years 10 months ago
2008
IEEE
ESORICS
2007
Springer
15 years 10 months ago
2007
Springer
