| 2008 |
|---|
| 8 | EE | Judicaël Courant,
Marion Daubignard,
Cristian Ene,
Pascal Lafourcade,
Yassine Lakhnech:
Towards automated proofs for asymmetric encryption schemes in the random oracle model.
ACM Conference on Computer and Communications Security 2008: 371-380 |
| 7 | EE | David Gouaillier,
Vincent Hugel,
Pierre Blazevic,
Chris Kilner,
Jerome Monceaux,
Pascal Lafourcade,
Brice Marnier,
Julien Serre,
Bruno Maisonnier:
The NAO humanoid: a combination of performance and affordability
CoRR abs/0807.3223: (2008) |
| 6 | EE | Stéphanie Delaune,
Pascal Lafourcade,
Denis Lugiez,
Ralf Treinen:
Symbolic protocol analysis for monoidal equational theories.
Inf. Comput. 206(2-4): 312-351 (2008) |
| 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 |
