Thomas P. Jensen

ORCID

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 24

Top Venues

Proc. ACM Program. Lang.

CSF

SAS

CoRR

Publications

Gautier Raimondi, Frédéric Besson, Thomas P. Jensen
Type-directed Program Transformation for Constant-Time Enforcement. PPDP (2023)
Thomas P. Jensen, Vincent Rebiscoul, Alan Schmitt
Deriving Abstract Interpreters from Skeletal Semantics. EXPRESS/SOS (2023)
Luca Olivieri, Thomas P. Jensen, Luca Negrini, Fausto Spoto
MichelsonLiSA: A Static Analyzer for Tezos. PerCom Workshops (2023)
Théo Losekoot, Thomas Genet, Thomas P. Jensen
Automata-Based Verification of Relational Properties of Functions over Algebraic Data Structures. FSCD (2023)
Santiago Bautista, Thomas P. Jensen, Benoît Montagu
Lifting Numeric Relational Domains to Algebraic Data Types. SAS (2022)
Benoît Montagu, Thomas P. Jensen
Trace-based control-flow analysis. PLDI (2021)
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, Andrzej Wasowski
Verification of Program Transformations with Inductive Refinement Types. ACM Trans. Softw. Eng. Methodol. 30 (1) (2021)
Thomas Genet, Thomas P. Jensen, Justine Sauvage
Termination of Ethereum's Smart Contracts. ICETE (2) (2020)
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Rasmus Ejlers Møgelberg, Andrzej Wasowski
Galois Connections for Recursive Types. From Lambda Calculus to Cybersecurity Through Program Analysis (2020)
Benoît Montagu, Thomas P. Jensen
Stable relations and abstract interpretation of higher-order programs. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Timothée Haudebourg, Thomas Genet, Thomas P. Jensen
Regular language type inference with term rewriting. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Frédéric Besson, Sandrine Blazy, Alexandre Dang, Thomas P. Jensen, Pierre Wilke
Compiling Sandboxes: Formally Verified Software Fault Isolation. ESOP (2019)
Martin Bodin, Philippa Gardner, Thomas P. Jensen, Alan Schmitt
Skeletal semantics and their interpretations. Proc. ACM Program. Lang. 3 (POPL) (2019)
Frédéric Besson, Alexandre Dang, Thomas P. Jensen
Information-Flow Preservation in Compiler Optimisations. CSF (2019)
Oana Fabiana Andreescu, Thomas P. Jensen, Stéphane Lescuyer, Benoît Montagu
Inferring frame conditions with static correlation analysis. Proc. ACM Program. Lang. 3 (POPL) (2019)
Frédéric Besson, Alexandre Dang, Thomas P. Jensen
Securing Compilation Against Memory Probing. PLAS@CCS (2018)
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, Andrzej Wasowski
Verification of High-Level Transformations with Inductive Refinement Types. CoRR (2018)
Martin Bodin, Philippa Gardner, Thomas P. Jensen, Alan Schmitt
Skeletal Semantics and their Interpretations. CoRR (2018)
Frédéric Besson, Thomas P. Jensen, Julien Lepiller
Modular Software Fault Isolation as Abstract Interpretation. SAS (2018)
Thomas Genet, Timothée Haudebourg, Thomas P. Jensen
Verifying Higher-Order Functions with Tree Automata. FoSSaCS (2018)
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, Andrzej Wasowski
Verification of high-level transformations with inductive refinement types. GPCE (2018)
Frédéric Besson, Nataliia Bielova, Thomas P. Jensen
Hybrid Monitoring of Attacker Knowledge. CSF (2016)
Oana Fabiana Andreescu, Thomas P. Jensen, Stéphane Lescuyer
Correlating Structured Inputs and Outputs in Functional Specifications. SEFM (2016)
Nataliia Bielova, Frédéric Besson, Thomas P. Jensen
Using JavaScript Monitoring to Prevent Device Fingerprinting. ERCIM News 2016 (106) (2016)
Oana Fabiana Andreescu, Thomas P. Jensen, Stéphane Lescuyer
Dependency Analysis of Functional Specifications with Algebraic Data Structures. ICFEM (2015)
José Fragoso Santos, Thomas P. Jensen, Tamara Rezk, Alan Schmitt
Hybrid Typing of Secure Information Flow in a JavaScript-Like Language. TGC (2015)
Martin Bodin, Thomas P. Jensen, Alan Schmitt
Certified Abstract Interpretation with Pretty-Big-Step Semantics. CPP (2015)
David Cachera, Thomas P. Jensen, Arnaud Jobin, Florent Kirchner
Inference of polynomial invariants for imperative programs: A farewell to Gröbner bases. Sci. Comput. Program. 93 (2014)
Frédéric Besson, Thomas P. Jensen, Pierre Vittet
SawjaCard: A Static Analysis Tool for Certifying Java Card Applications. SAS (2014)
Frédéric Besson, Nataliia Bielova, Thomas P. Jensen
Browser Randomisation against Fingerprinting: A Quantitative Information Flow Approach. NordSec (2014)
Martin Bodin, Thomas P. Jensen, Alan Schmitt
Pretty-big-step-semantics-based Certified Abstract Interpretation. JFLA (2014)
Frédéric Besson, Pierre-Emmanuel Cornilleau, Thomas P. Jensen
Result Certification of Static Program Analysers with Automated Theorem Provers. VSTTE (2013)
Martin Bodin, Thomas P. Jensen, Alan Schmitt
Pretty-big-step-semantics-based Certified Abstract Interpretation (Preliminary version). Festschrift for Dave Schmidt (2013)
Frédéric Besson, Nataliia Bielova, Thomas P. Jensen
Hybrid Information Flow Monitoring against Web Tracking. CSF (2013)
Thomas P. Jensen, Florent Kirchner, David Pichardie
Secure the Clones Log. Methods Comput. Sci. 8 (2) (2012)
David Cachera, Thomas P. Jensen, Arnaud Jobin, Florent Kirchner
Inference of Polynomial Invariants for Imperative Programs: A Farewell to Gröbner Bases. SAS (2012)
Jan Midtgaard, Thomas P. Jensen
Control-flow analysis of function calls and returns by abstract interpretation. Inf. Comput. 211 (2012)
Thomas P. Jensen, Florent Kirchner, David Pichardie
Secure the Clones - Static Enforcement of Policies for Secure Object Copying. ESOP (2011)
Laurent Hubert, Thomas P. Jensen, Vincent Monfort, David Pichardie
Enforcing Secure Object Initialization in Java. ESORICS (2010)
Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas P. Jensen, Vincent Monfort, David Pichardie, Tiphaine Turpin
Sawja: Static Analysis Workshop for Java CoRR (2010)
Frédéric Besson, Guillaume Dufay, Thomas P. Jensen, David Pichardie
Verifying resource access control on mobile interactive devices. J. Comput. Secur. 18 (6) (2010)
Frédéric Besson, Thomas P. Jensen, David Pichardie, Tiphaine Turpin
Certified Result Checking for Polyhedral Analysis of Bytecode Programs. TGC (2010)
Laurent Hubert, Thomas P. Jensen, Vincent Monfort, David Pichardie
Enforcing Secure Object Initialization in Java CoRR (2010)
Delphine Demange, Thomas P. Jensen, David Pichardie
A Provably Correct Stackless Intermediate Representation for Java Bytecode. APLAS (2010)
David Cachera, Thomas P. Jensen, Arnaud Jobin, Pascal Sotin
Long-run cost analysis by approximation of linear operators over dioids. Math. Struct. Comput. Sci. 20 (4) (2010)
Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas P. Jensen, Vincent Monfort, David Pichardie, Tiphaine Turpin
Sawja: Static Analysis Workshop for Java. FoVeOOS (2010)
Frédéric Besson, David Cachera, Thomas P. Jensen, David Pichardie
Certified Static Analysis by Abstract Interpretation. FOSAD (2009)
Jan Midtgaard, Thomas P. Jensen
Control-flow analysis of function calls and returns by abstract interpretation. ICFP (2009)
Laurent Hubert, Thomas P. Jensen, David Pichardie
Semantic Foundations and Inference of Non-null Annotations. FMOODS (2008)
Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin
Computing Stack Maps with Interfaces. ECOOP (2008)
David Cachera, Thomas P. Jensen, Arnaud Jobin, Pascal Sotin
Long-Run Cost Analysis by Approximation of Linear Operators over Dioids. AMAST (2008)
Jan Midtgaard, Thomas P. Jensen
A Calculational Approach to Control-Flow Analysis by Abstract Interpretation. SAS (2008)
Benoît Boyer, Thomas Genet, Thomas P. Jensen
Certifying a Tree Automata Completion Checker. IJCAR (2008)
Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin
Small Witnesses for Abstract Interpretation-Based Proofs. ESOP (2007)
Yohan Boichut, Thomas Genet, Thomas P. Jensen, Luka Le Roux
Rewriting Approximations for Fast Prototyping of Static Analyzers. RTA (2007)
Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas P. Jensen, David Pichardie
The MOBIUS Proof Carrying Code Infrastructure. FMCO (2007)
Gurvan Le Guernic, Anindya Banerjee, Thomas P. Jensen, David A. Schmidt
Automata-Based Confidentiality Monitoring. ASIAN (2006)
Frédéric Besson, Guillaume Dufay, Thomas P. Jensen
A Formal Model of Access Control for Mobile Interactive Devices. ESORICS (2006)
Frédéric Besson, Thomas P. Jensen, David Pichardie
Proof-carrying code from certified abstract interpretation and fixpoint compression. Theor. Comput. Sci. 364 (3) (2006)
Thomas P. Jensen
Certificates of Resource Usage on Mobile Telephones. ISoLA (2006)
Pascal Sotin, David Cachera, Thomas P. Jensen
Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card. Electron. Notes Theor. Comput. Sci. 164 (3) (2006)
David Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider
Certified Memory Usage Analysis. FM (2005)
Frédéric Besson, Thomas de Grenier de Latour, Thomas P. Jensen
Interfaces for stack inspection. J. Funct. Program. 15 (2) (2005)
David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu
Extracting a data flow analyser in constructive logic. Theor. Comput. Sci. 342 (1) (2005)
David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu
Extracting a Data Flow Analyser in Constructive Logic. ESOP (2004)
Marieke Huisman, Thomas P. Jensen
Guest editors' introduction: Special issue on Formal Methods for Smart Cards. J. Log. Algebraic Methods Program. 58 (1-2) (2004)
Marc Éluard, Thomas P. Jensen
Validation du contrôle d'accès dans des cartes à puce multiapplications. Tech. Sci. Informatiques 23 (3) (2004)
Frédéric Besson, Thomas P. Jensen
Modular Class Analysis with DATALOG. SAS (2003)
Fausto Spoto, Thomas P. Jensen
Class analyses as abstract interpretations of trace semantics. ACM Trans. Program. Lang. Syst. 25 (5) (2003)
Thomas Genet, Thomas P. Jensen, Vikash Kodati, David Pichardie
A Java Card CAP converter in PVS. Electron. Notes Theor. Comput. Sci. 82 (2) (2003)
Anindya Banerjee, Thomas P. Jensen
Modular Control-Flow Analysis with Rank 2 Intersection Types. Math. Struct. Comput. Sci. 13 (1) (2003)
Ewen Denney, Thomas P. Jensen
Correctness of Java card method lookup via logical relations. Theor. Comput. Sci. 283 (2) (2002)
Thomas P. Jensen, Florimond Ployette, Olivier Ridoux
Iteration schemes for fixed point calculation. FICS (2002)
Frédéric Besson, Thomas de Grenier de Latour, Thomas P. Jensen
Secure calling contexts for stack inspection. PPDP (2002)
Marc Éluard, Thomas P. Jensen
Secure Object Flow Analysis for Java Card. CARDIS (2002)
Thomas P. Jensen
Types in Program Analysis. The Essence of Computation (2002)
Thomas P. Jensen, Fausto Spoto
Class Analysis of Object-Oriented Programs through Abstract Interpretation. FoSSaCS (2001)
Frédéric Besson, Thomas P. Jensen, Daniel Le Métayer
Model Checking Security Properties of Control Flow Graphs. J. Comput. Secur. 9 (3) (2001)
Marc Éluard, Thomas P. Jensen, Ewen Denney
An Operational Semantics of the Java Card Firewall. E-smart (2001)
Ewen Denney, Thomas P. Jensen
Correctness of Java Card Method Lookup via Logical Relations. ESOP (2000)
Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn
Verification of Control Flow based Security Properties. IEEE Symposium on Security and Privacy (1999)
Frédéric Besson, Thomas P. Jensen, Jean-Pierre Talpin
Polyhedral Analysis for Synchronous Languages. SAS (1999)
Thomas P. Jensen
Inference of Polymorphic and Conditional Strictness Properties. POPL (1998)
Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn
Coarse Grained Java Security Policies. ECOOP Workshops (1998)
Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn
Security and Dynamic Class Loading in Java: A Formalization. ICCL (1998)
Thomas P. Jensen
Disjunctive Program Analysis for Algebraic Data Types. ACM Trans. Program. Lang. Syst. 19 (5) (1997)
Thomas P. Jensen, Ian Mackie
Flow Analysis in the Geometry of Interaction. ESOP (1996)
Thomas P. Jensen
Conjunctive Type Systems and Abstract Interpretation of Higher-Order Functional Programs. J. Log. Comput. 5 (4) (1995)
Thomas P. Jensen
Clock Analysis of Synchronous Dataflow Programs. PEPM (1995)
Thomas P. Jensen
Abstract Interpretation over Algebraic Data Types. ICCL (1994)
Thomas P. Jensen
Denotational Semantics of Timed Dataflow Programs. Theory and Formal Methods (1994)
Lindsay Errington, Chris Hankin, Thomas P. Jensen
A Congruence for Gamma Programs. WSA (1993)
Lindsay Errington, Chris Hankin, Thomas P. Jensen
Reasoning About Gamma Programs. Theory and Formal Methods (1993)
Eric Goubault, Thomas P. Jensen
Homology of Higher Dimensional Automata. CONCUR (1992)
Thomas P. Jensen
Disjunctive Strictness Analysis LICS (1992)
Thomas P. Jensen
Axiomatising Uniform Properties of Recursive Data Structures. WSA (1992)
Thomas P. Jensen
Strictness Analysis in Logical Form. FPCA (1991)
Samson Abramsky, Thomas P. Jensen
A Relational Approach to Strictness Analysis for Higher-Order Polymorphic Functions. POPL (1991)
Thomas P. Jensen
Abstract Interpretation vs. Type Inference A Topological Perspective. Functional Programming (1990)
Thomas P. Jensen, Torben Æ. Mogensen
A Backwards Analysis for Compile-time Garbage Collection. ESOP (1990)

Thomas P. Jensen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thomas P. Jensen