| |
| * | 2009 | |
|---|---|---|
| 3 | EE | Sergiu Bursuc, Hubert Comon-Lundh: Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions. RTA 2009: 133-147 |
| 2007 | ||
| 2 | EE | Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune: Deducibility Constraints, Equational Theory and Electronic Money. Rewriting, Computation and Proof 2007: 196-212 |
| 1 | EE | Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune: Associative-Commutative Deducibility Constraints. STACS 2007: 634-645 |
| 1 | Hubert Comon-Lundh (Hubert Comon) | [1] [2] [3] |
| 2 | Stéphanie Delaune | [1] [2] |