|
Search the dblp DataBase
Frédéric Besson:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Frédéric Besson, Tomasz Blanc, Cédric Fournet, Andrew D. Gordon
From Stack Inspection to Access Control: A Security Analysis for Libraries. [Citation Graph (0, 0)][DBLP] CSFW, 2004, pp:61-0 [Conf]
- 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]
- Frédéric Besson, Thomas de Grenier de Latour, Thomas P. Jensen
Secure calling contexts for stack inspection. [Citation Graph (0, 0)][DBLP] PPDP, 2002, pp:76-87 [Conf]
- Frédéric Besson, Thomas P. Jensen
Modular Class Analysis with DATALOG. [Citation Graph (0, 0)][DBLP] SAS, 2003, pp:19-36 [Conf]
- Frédéric Besson, Thomas P. Jensen, Jean-Pierre Talpin
Polyhedral Analysis for Synchronous Languages. [Citation Graph (0, 0)][DBLP] SAS, 1999, pp:51-68 [Conf]
- Frédéric Besson, Thomas P. Jensen, Daniel Le Métayer
Model Checking Security Properties of Control Flow Graphs. [Citation Graph (0, 0)][DBLP] Journal of Computer Security, 2001, v:9, n:3, pp:217-250 [Journal]
- Frédéric Besson, Thomas de Grenier de Latour, Thomas P. Jensen
Interfaces for stack inspection. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2005, v:15, n:2, pp:179-217 [Journal]
- Frédéric Besson, Thomas P. Jensen, David Pichardie
Proof-carrying code from certified abstract interpretation and fixpoint compression. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:364, n:3, pp:273-291 [Journal]
- Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin
Small Witnesses for Abstract Interpretation-Based Proofs. [Citation Graph (0, 0)][DBLP] ESOP, 2007, pp:268-283 [Conf]
- Frédéric Besson
Fast Reflexive Arithmetic Tactics the Linear Case and Beyond. [Citation Graph (0, 0)][DBLP] TYPES, 2006, pp:48-62 [Conf]
Computing Stack Maps with Interfaces. [Citation Graph (, )][DBLP]
Certified Static Analysis by Abstract Interpretation. [Citation Graph (, )][DBLP]
Sawja: Static Analysis Workshop for Java [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|