| |
| 2008 | ||
|---|---|---|
| 3 | EE | Rob Verhoeven, Francien Dechesne: Verifying Multi-party Authentication Using Rank Functions and PVS. Formal Aspects in Security and Trust 2008: 226-241 |
| 2 | EE | Francien Dechesne, Simona Orzan, Yanjing Wang: Refinement of Kripke Models for Dynamics. ICTAC 2008: 111-125 |
| 2007 | ||
| 1 | EE | Francien Dechesne, Mohammad Reza Mousavi, Simona Orzan: Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap. LPAR 2007: 226-241 |
| 1 | Mohammad Reza Mousavi | [1] |
| 2 | Simona Orzan | [1] [2] |
| 3 | Rob Verhoeven | [3] |
| 4 | Yanjing Wang | [2] |