| |
| 2008 | ||
|---|---|---|
| 4 | EE | Elie Bursztein: NetQi: A Model Checker for Anticipation Game. ATVA 2008: 246-251 |
| 3 | EE | Elie Bursztein: Extending Anticipation Games with Location, Penalty and Timeline. Formal Aspects in Security and Trust 2008: 272-286 |
| 2 | EE | Elie Bursztein: Probabilistic Identification for Hard to Classify Protocol. WISTP 2008: 49-63 |
| 2007 | ||
| 1 | EE | Elie Bursztein, Jean Goubault-Larrecq: A Logical Framework for Evaluating Network Resilience Against Faults and Attacks. ASIAN 2007: 212-227 |
| 1 | Jean Goubault-Larrecq (Jean Goubault) | [1] |