A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems

Veronique Cortier, Steve Kremer, Bogdan Warinschi

Research output: Contribution to journalArticle (Academic Journal)peer-review

58 Citations (Scopus)
Translated title of the contributionA Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems
Original languageEnglish
Pages (from-to)225-259
JournalJournal of Automated Reasoning
Volume46
Issue number3-4
Publication statusPublished - 2011

Cite this