Search the dblp DataBase

Publications of Author

1. Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa
   Tool-Assisted Specification and Verification of the JavaCard Platform. [Citation Graph (0, 0)][DBLP]
   AMAST, 2002, pp:41-59 [Conf]
   
2. Gilles Barthe, Guillaume Dufay, Marieke Huisman, Simão Melo de Sousa
   Jakarta: A Toolset for Reasoning about JavaCard. [Citation Graph (0, 0)][DBLP]
   E-smart, 2001, pp:2-18 [Conf]
   
3. Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard P. Serpette, Simão Melo de Sousa
   A Formal Executable Semantics of the JavaCard Platform. [Citation Graph (0, 0)][DBLP]
   ESOP, 2001, pp:302-319 [Conf]
   
4. Mário M. Freire, Simão Melo de Sousa, Vítor Santos
   IS 2006 PC Co-chairs' Message. [Citation Graph (0, 0)][DBLP]
   OTM Workshops (1), 2006, pp:311- [Conf]
   
5. Gilles Barthe, Guillaume Dufay, Line Jakubiec, Simão Melo de Sousa
   A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines. [Citation Graph (0, 0)][DBLP]
   VMCAI, 2002, pp:32-45 [Conf]
   
6. Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa
   Tool-Assisted Specification and Verification of Typed Low-Level Languages. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2005, v:35, n:4, pp:295-354 [Journal]
   
7. Mário M. Freire, Simão Melo de Sousa, Vítor Santos, Jong Hyuk Park
   IS 2007 PC Co-chairs' Message. [Citation Graph (0, 0)][DBLP]
   OTM Conferences (2), 2007, pp:1527- [Conf]
   
8. 
   Secure Biometric Authentication with Improved Accuracy. [Citation Graph (, )][DBLP]