Skip to main content

Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems

Veronique Cortier, Steve Kremer, Bogdan Warinschi, Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems. Journal of Automated Reasoning, 46(3), pp. 225–259. March 2011. No electronic version available.

Abstract

Bibtex entry.

Contact details

Publication Admin