4211 search results - page 843 / 843 » Types as Abstract Interpretations |
EUROCRYPT
2012
Springer
11 years 8 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 ...