| |
| 2007 | ||
|---|---|---|
| 4 | EE | Gergei Bana, Koji Hasebe, Mitsuhiro Okada: Computational Semantics for Basic Protocol Logic - A Stochastic Approach. ASIAN 2007: 86-94 |
| 2006 | ||
| 3 | EE | Gergei Bana, Payman Mohassel, Till Stegers: Computational Soundness of Formal Indistinguishability and Static Equivalence. ASIAN 2006: 182-196 |
| 2005 | ||
| 2 | EE | Pedro Adão, Gergei Bana, Andre Scedrov: Computational and Information-Theoretic Soundness and Completeness of Formal Encryption. CSFW 2005: 170-184 |
| 1 | EE | Pedro Adão, Gergei Bana, Jonathan Herzog, Andre Scedrov: Soundness of Formal Encryption in the Presence of Key-Cycles. ESORICS 2005: 374-396 |
| 1 | Pedro Adão | [1] [2] |
| 2 | Koji Hasebe | [4] |
| 3 | Jonathan Herzog | [1] |
| 4 | Payman Mohassel | [3] |
| 5 | Mitsuhiro Okada | [4] |
| 6 | Andre Scedrov | [1] [2] |
| 7 | Till Stegers | [3] |