| Fast reflexive arithmetic tactics the linear case and beyond F Besson International Workshop on Types for Proofs and Programs, 48-62, 2006 | 116 | 2006 |
| Model checking security properties of control flow graphs F Besson, T Jensen, D Le Métayer, T Thorn Journal of computer security 9 (3), 217-250, 2001 | 114 | 2001 |
| Proof-carrying code from certified abstract interpretation and fixpoint compression F Besson, T Jensen, D Pichardie Theoretical Computer Science 364 (3), 273-291, 2006 | 82 | 2006 |
| Polyhedral analysis for synchronous languages F Besson, T Jensen, JP Talpin International Static Analysis Symposium, 51-68, 1999 | 74 | 1999 |
| CompCertS: A Memory-Aware Verified C Compiler using Pointer as Integer Semantics F Besson, S Blazy, P Wilke Interactive Theorem Proving (ITP 2107) 10499, 2017 | 51 | 2017 |
| Hybrid information flow monitoring against web tracking F Besson, N Bielova, T Jensen 2013 IEEE 26th Computer Security Foundations Symposium, 240-254, 2013 | 51 | 2013 |
| Femto-containers: lightweight virtualization and fault isolation for small software functions on low-power IoT microcontrollers K Zandberg, E Baccelli, S Yuan, F Besson, JP Talpin Proceedings of the 23rd ACM/IFIP International Middleware Conference, 161-173, 2022 | 45 | 2022 |
| Sawja: Static analysis workshop for java L Hubert, N Barré, F Besson, D Demange, T Jensen, V Monfort, ... International conference on formal verification of object-oriented software …, 2010 | 45 | 2010 |
| A flexible proof format for SMT: A proposal F Besson, P Fontaine, L Théry First International Workshop on Proof eXchange for Theorem Proving-PxTP 2011, 2011 | 43 | 2011 |
| A Precise and Abstract Memory Model for C Using Symbolic Values F Besson, S Blazy, P Wilke Programming Languages and Systems - 12th Asian Symposium 8858, 449-468, 2014 | 39 | 2014 |
| Modular SMT proofs for fast reflexive checking inside Coq F Besson, PE Cornilleau, D Pichardie Certified Programs and Proofs, 151-166, 2011 | 39 | 2011 |
| Secure calling contexts for stack inspection F Besson, T de Grenier de Latour, T Jensen Proceedings of the 4th ACM SIGPLAN international conference on Principles …, 2002 | 38 | 2002 |
| Certified result checking for polyhedral analysis of bytecode programs F Besson, T Jensen, D Pichardie, T Turpin International Symposium on Trustworthy Global Computing, 253-267, 2010 | 35 | 2010 |
| A Concrete Memory Model for CompCert F Besson, S Blazy, P Wilke Interactive Theorem Proving (ITP 2105) 9236, 67-83, 2015 | 33 | 2015 |
| From stack inspection to access control: A security analysis for libraries F Besson, T Blanc, C Fournet, AD Gordon Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 61-75, 2004 | 32 | 2004 |
| Certified static analysis by abstract interpretation F Besson, D Cachera, T Jensen, D Pichardie International School on Foundations of Security Analysis and Design, 223-257, 2007 | 30 | 2007 |
| Modular Class Analysis with DATALOG F Besson, T Jensen International Static Analysis Symposium, 19-36, 2003 | 30 | 2003 |
| Compiling sandboxes: Formally verified software fault isolation F Besson, S Blazy, A Dang, T Jensen, P Wilke European Symposium on Programming, 499-524, 2019 | 23 | 2019 |
| Result certification for relational program analysis F Besson, T Jensen, D Pichardie, T Turpin INRIA, 2007 | 23 | 2007 |
| A formal model of access control for mobile interactive devices F Besson, G Dufay, T Jensen European Symposium On Research In Computer Security, 110-126, 2006 | 23 | 2006 |
Thomas JensenDirecteur de recherche INRIA Rennes and IRISAVerified email at inria.fr
