783 search results - page 5 / 157 » On security proof of McCullagh |
EUROCRYPT
2012
Springer
12 years 6 days 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 ...
ZUM
2000
Springer
14 years 1 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
14 years 4 months ago
2008
IEEE
ESORICS
2007
Springer
14 years 4 months ago
2007
Springer
CCS
2008
ACM
13 years 11 months ago
2008
ACM