Guessing Attacks and the Computational Soundness of Static Equivalence

Mathieu Baudet, Bogdan Warinschi, Martín Abadi

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

6 Citations (Scopus)
Original languageUndefined/Unknown
Pages (from-to)909-968
Number of pages60
JournalJournal of Computer Security
Volume18
Issue number5
Publication statusPublished - 2010

Cite this