The SCEAS System
Navigation Menu

Search the dblp DataBase


Pascal Lafourcade: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  6. Automated Security Proof for Symmetric Encryption Modes. [Citation Graph (, )][DBLP]

  7. Automated Proofs for Asymmetric Encryption. [Citation Graph (, )][DBLP]

  8. Towards automated proofs for asymmetric encryption schemes in the random oracle model. [Citation Graph (, )][DBLP]

  9. Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties. [Citation Graph (, )][DBLP]

  10. Comparing State Spaces in Automatic Security Protocol Analysis. [Citation Graph (, )][DBLP]

  11. How to prevent type-flaw attacks on security protocols under algebraic properties [Citation Graph (, )][DBLP]

  12. Benaloh's Dense Probabilistic Encryption Revisited [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002