Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Pascal Lafourcade
Author information
- University Joseph Fourier (UFR IMA)
Other persons with the same name
- Pascal Lafourcade 0002 — Aldebaran-Robotics, Paris, France
2010 – today
- 2013
[c18]Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade: Brandt's Fully Private Auction Protocol Revisited. AFRICACRYPT 2013: 88-106- [c17]Jannik Dreier, Hugo Jonker, Pascal Lafourcade: Defining verifiability in e-auction protocols. ASIACCS 2013: 547-552
- [c16]Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech: On Unique Decomposition of Processes in the Applied π-Calculus. FoSSaCS 2013: 50-64
- [c15]Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech: Formal Verification of e-Auction Protocols. POST 2013: 247-266
- 2012
- [c14]Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech: Defining Privacy for Weighted Votes, Single and Multi-voter Coercion. ESORICS 2012: 451-468
- [c13]Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech: A formal taxonomy of privacy in voting protocols. ICC 2012: 6710-6715
- [c12]Karine Altisen, Stéphane Devismes, Antoine Gerbaud, Pascal Lafourcade: Analysis of Random Walks Using Tabu Lists. SIROCCO 2012: 254-266
- [e1]Joaquín García-Alfaro, Pascal Lafourcade (Eds.): Foundations and Practice of Security - 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers. Lecture Notes in Computer Science 6888, Springer 2012, ISBN 978-3-642-27900-3
- [i3]Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade: Attacking Privacy in a Fully Private Auction Protocol. CoRR abs/1210.6780 (2012)
- 2011
- [j5]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)
- [c11]Laurent Fousse, Pascal Lafourcade, Mohamed Alnuaimi: Benaloh's Dense Probabilistic Encryption Revisited. AFRICACRYPT 2011: 348-362
- [c10]Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini: Automated Verification of Block Cipher Modes of Operation, an Improved Method. FPS 2011: 23-31
- [c9]Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech: Vote-Independence: A Powerful Privacy Notion for Voting Protocols. FPS 2011: 164-180
- 2010
- [c8]Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech: Automated Proofs for Asymmetric Encryption. Concurrency, Compositionality, and Correctness 2010: 300-321
- [c7]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
- [i2]Sreekanth Malladi, Pascal Lafourcade: How to prevent type-flaw attacks on security protocols under algebraic properties. CoRR abs/1003.5385 (2010)
- [i1]Laurent Fousse, Pascal Lafourcade, Mohamed Alnuaimi: Benaloh's Dense Probabilistic Encryption Revisited. CoRR abs/1008.2991 (2010)
2000 – 2009
- 2009
- [c6]Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini: Automated Security Proof for Symmetric Encryption Modes. ASIAN 2009: 39-53
- [c5]Pascal Lafourcade, Vanessa Terrade, Sylvain Vigier: Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties. Formal Aspects in Security and Trust 2009: 173-185
- [c4]Cas J. F. Cremers, Pascal Lafourcade, Philippe Nadeau: Comparing State Spaces in Automatic Security Protocol Analysis. Formal to Practical Security 2009: 70-94
- 2008
- [j4]Stéphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen: Symbolic protocol analysis for monoidal equational theories. Inf. Comput. 206(2-4): 312-351 (2008)
- [c3]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
- 2007
- [j3]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)
- [j2]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
- [j1]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)
- [c2]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
- 2005
- [c1]Pascal Lafourcade, Denis Lugiez, Ralf Treinen: Intruder Deduction for AC-Like Equational Theories with Homomorphisms. RTA 2005: 308-322
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-02 21:49 CEST by the dblp team