Pascal Lafourcade

University Joseph Fourier (UFR IMA)

other persons with the same name:

• Pascal Lafourcade - Aldebaran-Robotics, Paris, France

	2012
19		Joaquín García-Alfaro, Pascal Lafourcade: Foundations and Practice of Security - 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers Springer 2012
	2011
18		Laurent Fousse, Pascal Lafourcade, Mohamed Alnuaimi: Benaloh's Dense Probabilistic Encryption Revisited. AFRICACRYPT 2011: 348-362
17		Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech: Vote-Independence: A Powerful Privacy Notion for Voting Protocols. FPS 2011: 164-180
16		Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini: Automated Verification of Block Cipher Modes of Operation, an Improved Method. FPS 2011: 23-31
15		Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech: Automated Proofs for Asymmetric Encryption. J. Autom. Reasoning 46(3-4): 261-291 (2011)
	2010
14		Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech: Automated Proofs for Asymmetric Encryption. Concurrency, Compositionality, and Correctness 2010: 300-321
13		Jérémie Tharaud, Sven Wohlgemuth, Isao Echizen, Noboru Sonehara, Günter Müller, Pascal Lafourcade: Privacy by Data Provenance with Digital Watermarking - A Proof-of-Concept Implementation for Medical Services with Electronic Health Records. IIH-MSP 2010: 510-513
12		Sreekanth Malladi, Pascal Lafourcade: How to prevent type-flaw attacks on security protocols under algebraic properties CoRR abs/1003.5385: (2010)
11		Laurent Fousse, Pascal Lafourcade, Mohamed Alnuaimi: Benaloh's Dense Probabilistic Encryption Revisited CoRR abs/1008.2991: (2010)
	2009
10		Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini: Automated Security Proof for Symmetric Encryption Modes. ASIAN 2009: 39-53
9		Pascal Lafourcade, Vanessa Terrade, Sylvain Vigier: Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties. Formal Aspects in Security and Trust 2009: 173-185
8		Cas J. F. Cremers, Pascal Lafourcade, Philippe Nadeau: Comparing State Spaces in Automatic Security Protocol Analysis. Formal to Practical Security 2009: 70-94
	2008
7		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		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		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		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		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		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		Pascal Lafourcade, Denis Lugiez, Ralf Treinen: Intruder Deduction for AC-Like Equational Theories with Homomorphisms. RTA 2005: 308-322

Coauthor Index

1	Mohamed Alnuaimi	[11] [18]
2	Véronique Cortier	[2]
3	Judicaël Courant	[7] [14] [15]
4	Cas J. F. Cremers	[8]
5	Marion Daubignard	[7] [14] [15]
6	Stéphanie Delaune	[2] [3] [6]
7	Jannik Dreier	[17]
8	Isao Echizen	[13]
9	Cristian Ene	[7] [14] [15]
10	Laurent Fousse	[11] [18]
11	Martin Gagné	[10] [16]
12	Joaquín García (Joaquín García-Alfaro)	[19]
13	Yassine Lakhnech	[7] [10] [14] [15] [16] [17]
14	Denis Lugiez	[1] [3] [4] [6]
15	Sreekanth Malladi	[12]
16	Günter Müller (Guenter Mueller)	[13]
17	Philippe Nadeau	[8]
18	Reihaneh Safavi-Naini	[10] [16]
19	Noboru Sonehara	[13]
20	Vanessa Terrade	[9]
21	Jérémie Tharaud	[13]
22	Ralf Treinen	[1] [3] [4] [6]
23	Sylvain Vigier	[9]
24	Sven Wohlgemuth	[13]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page