The SCEAS System
Navigation Menu

Search the dblp DataBase


Romain Janvier: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Romain Janvier, Yassine Lakhnech, Laurent Mazaré
    Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries. [Citation Graph (0, 0)][DBLP]
    ESOP, 2005, pp:172-185 [Conf]
  2. Liana Bozga, Cristian Ene, Romain Janvier, Yassine Lakhnech, Laurent Mazaré, Michaël Périn
    Automatic Verification of Security Properties Based on Abstractions. [Citation Graph (0, 0)][DBLP]
    VISSAS, 2005, pp:23-53 [Conf]
  3. M. Daubignard, Romain Janvier, Yassine Lakhnech, Laurent Mazaré
    Game-Based Criterion Partition Applied to Computational Soundness of Adaptive Security. [Citation Graph (0, 0)][DBLP]
    Formal Aspects in Security and Trust, 2006, pp:47-64 [Conf]
  4. Romain Janvier, Yassine Lakhnech, Laurent Mazaré
    Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:186, n:, pp:121-139 [Journal]

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