| |
| 2007 | ||
|---|---|---|
| 5 | EE | Pascal Lafourcade: Intruder Deduction for the Equational Theory of Exclusive-or with Commutative and Distributive Encryption. Electr. Notes Theor. Comput. Sci. 171(4): 37-57 (2007) |
| 4 | EE | Pascal Lafourcade, Denis Lugiez, Ralf Treinen: Intruder deduction for the equational theory of Abelian groups with distributive encryption. Inf. Comput. 205(4): 581-623 (2007) |
| 2006 | ||
| 3 | EE | Stéphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen: Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or. ICALP (2) 2006: 132-143 |
| 2 | EE | Véronique Cortier, Stéphanie Delaune, Pascal Lafourcade: A survey of algebraic properties used in cryptographic protocols. Journal of Computer Security 14(1): 1-43 (2006) |
| 2005 | ||
| 1 | EE | Pascal Lafourcade, Denis Lugiez, Ralf Treinen: Intruder Deduction for AC-Like Equational Theories with Homomorphisms. RTA 2005: 308-322 |
| 1 | Véronique Cortier | [2] |
| 2 | Stéphanie Delaune | [2] [3] |
| 3 | Denis Lugiez | [1] [3] [4] |
| 4 | Ralf Treinen | [1] [3] [4] |