Translated title of the contribution | A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems |
---|---|
Original language | English |
Pages (from-to) | 225-259 |
Journal | Journal of Automated Reasoning |
Volume | 46 |
Issue number | 3-4 |
Publication status | Published - 2011 |
A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems
Veronique Cortier, Steve Kremer, Bogdan Warinschi
Research output: Contribution to journal › Article (Academic Journal) › peer-review
58
Citations
(Scopus)