 | 2009 |
|---|
| 12 |       | Frédéric Besson,
David Cachera,
Thomas P. Jensen,
David Pichardie:
Certified Static Analysis by Abstract Interpretation.
FOSAD 2009: 223-257 |
| 2008 |
|---|
| 11 | | Frédéric Besson,
Thomas P. Jensen,
Tiphaine Turpin:
Computing Stack Maps with Interfaces.
ECOOP 2008: 642-666 |
| 2007 |
|---|
| 10 | | Frédéric Besson,
Thomas P. Jensen,
Tiphaine Turpin:
Small Witnesses for Abstract Interpretation-Based Proofs.
ESOP 2007: 268-283 |
| 2006 |
|---|
| 9 | | Frédéric Besson,
Guillaume Dufay,
Thomas P. Jensen:
A Formal Model of Access Control for Mobile Interactive Devices.
ESORICS 2006: 110-126 |
| 8 | | Frédéric Besson:
Fast Reflexive Arithmetic Tactics the Linear Case and Beyond.
TYPES 2006: 48-62 |
| 7 | | Frédéric Besson,
Thomas P. Jensen,
David Pichardie:
Proof-carrying code from certified abstract interpretation and fixpoint compression.
Theor. Comput. Sci. 364(3): 273-291 (2006) |
| 2005 |
|---|
| 6 | | Frédéric Besson,
Thomas de Grenier de Latour,
Thomas P. Jensen:
Interfaces for stack inspection.
J. Funct. Program. 15(2): 179-217 (2005) |
| 2004 |
|---|
| 5 | | Frédéric Besson,
Tomasz Blanc,
Cédric Fournet,
Andrew D. Gordon:
From Stack Inspection to Access Control: A Security Analysis for Libraries.
CSFW 2004: 61- |
| 2003 |
|---|
| 4 | | Frédéric Besson,
Thomas P. Jensen:
Modular Class Analysis with DATALOG.
SAS 2003: 19-36 |
| 2002 |
|---|
| 3 | | Frédéric Besson,
Thomas de Grenier de Latour,
Thomas P. Jensen:
Secure calling contexts for stack inspection.
PPDP 2002: 76-87 |
| 2001 |
|---|
| 2 |  | Frédéric Besson,
Thomas P. Jensen,
Daniel Le Métayer:
Model Checking Security Properties of Control Flow Graphs.
Journal of Computer Security 9(3): 217-250 (2001) |
| 1999 |
|---|
| 1 | | Frédéric Besson,
Thomas P. Jensen,
Jean-Pierre Talpin:
Polyhedral Analysis for Synchronous Languages.
SAS 1999: 51-68 |
