International Association for Cryptologic Research
David Basin Search web for home page
Publications
| year | title | booktitle | pages | |
|---|---|---|---|---|
| 1 | 2009 | From Dolev-Yao to Strong Adaptive Corruption: Analyzing Security in the Presence of Compromising Adversaries | eprint | online |
| 2 | 2006 | Cryptographically Sound Theorem Proving | eprint | online |
Coauthors of David Basin |