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. Guillaume Dufay, Amy P. Felty, Stan Matwin
   Privacy-Sensitive Information Flow with JML. [Citation Graph (0, 0)][DBLP]
   CADE, 2005, pp:116-130 [Conf]
   
3. 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]
   
4. 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]
   
5. Frédéric Besson, Guillaume Dufay, Thomas P. Jensen
   A Formal Model of Access Control for Mobile Interactive Devices. [Citation Graph (0, 0)][DBLP]
   ESORICS, 2006, pp:110-126 [Conf]
   
6. Gilles Barthe, Guillaume Dufay
   A Tool-Assisted Framework for Certified Bytecode Verification. [Citation Graph (0, 0)][DBLP]
   FASE, 2004, pp:99-113 [Conf]
   
7. Gilles Barthe, Guillaume Dufay
   Formal Methods for Smartcard Security. [Citation Graph (0, 0)][DBLP]
   FOSAD, 2005, pp:133-177 [Conf]
   
8. 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]
   
9. 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]