| 2006 |
|---|
| 9 | EE | Frédéric Besson,
Guillaume Dufay,
Thomas P. Jensen:
A Formal Model of Access Control for Mobile Interactive Devices.
ESORICS 2006: 110-126 |
| 2005 |
|---|
| 8 | EE | Guillaume Dufay,
Amy P. Felty,
Stan Matwin:
Privacy-Sensitive Information Flow with JML.
CADE 2005: 116-130 |
| 7 | EE | Gilles Barthe,
Guillaume Dufay:
Formal Methods for Smartcard Security.
FOSAD 2005: 133-177 |
| 6 | EE | Gilles Barthe,
Pierre Courtieu,
Guillaume Dufay,
Simão Melo de Sousa:
Tool-Assisted Specification and Verification of Typed Low-Level Languages.
J. Autom. Reasoning 35(4): 295-354 (2005) |
| 2004 |
|---|
| 5 | EE | Gilles Barthe,
Guillaume Dufay:
A Tool-Assisted Framework for Certified Bytecode Verification.
FASE 2004: 99-113 |
| 2002 |
|---|
| 4 | EE | Gilles Barthe,
Pierre Courtieu,
Guillaume Dufay,
Simão Melo de Sousa:
Tool-Assisted Specification and Verification of the JavaCard Platform.
AMAST 2002: 41-59 |
| 3 | EE | Gilles Barthe,
Guillaume Dufay,
Line Jakubiec,
Simão Melo de Sousa:
A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines.
VMCAI 2002: 32-45 |
| 2001 |
|---|
| 2 | EE | Gilles Barthe,
Guillaume Dufay,
Marieke Huisman,
Simão Melo de Sousa:
Jakarta: A Toolset for Reasoning about JavaCard.
E-smart 2001: 2-18 |
| 1 | EE | Gilles Barthe,
Guillaume Dufay,
Line Jakubiec,
Bernard P. Serpette,
Simão Melo de Sousa:
A Formal Executable Semantics of the JavaCard Platform.
ESOP 2001: 302-319 |
