 | 2008 |
|---|
| 8 |       | Manuel Barbosa,
Thierry Brouard,
Stéphane Cauchie,
Simão Melo de Sousa:
Secure Biometric Authentication with Improved Accuracy.
ACISP 2008: 21-36 |
| 2007 |
|---|
| 7 | | Mário M. Freire,
Simão Melo de Sousa,
Vítor Santos,
Jong Hyuk Park:
IS 2007 PC Co-chairs' Message.
OTM Conferences (2) 2007: 1527 |
| 2006 |
|---|
| 6 | | Mário M. Freire,
Simão Melo de Sousa,
Vítor Santos:
IS 2006 PC Co-chairs' Message.
OTM Workshops (1) 2006: 311 |
| 2005 |
|---|
| 5 | | 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) |
| 2002 |
|---|
| 4 | | 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 | | 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 | | Gilles Barthe,
Guillaume Dufay,
Marieke Huisman,
Simão Melo de Sousa:
Jakarta: A Toolset for Reasoning about JavaCard.
E-smart 2001: 2-18 |
| 1 | | 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 |
