Pascal Lafourcade Vis

University Joseph Fourier (UFR IMA)

other persons with the same name:

• Pascal Lafourcade - Aldebaran-Robotics, Paris, France

*	2008
7	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
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

Coauthor Index

1	Véronique Cortier	[2]
2	Judicaël Courant	[7]
3	Marion Daubignard	[7]
4	Stéphanie Delaune	[2] [3] [6]
5	Cristian Ene	[7]
6	Yassine Lakhnech	[7]
7	Denis Lugiez	[1] [3] [4] [6]
8	Ralf Treinen	[1] [3] [4] [6]

Colors in the list of coauthors