Thomas P. Jensen

According to our database, Thomas P. Jensen authored at least 96 papers between 1990 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Design and Implementation of Static Analyses for Tezos Smart Contracts.

Luca Olivieri, Luca Negrini, Vincenzo Arceri, Thomas P. Jensen, Fausto Spoto

Distributed Ledger Technol. Res. Pract., June, 2025

An input-output relational domain for algebraic data types and functional arrays.

Santiago Bautista, Thomas P. Jensen, Benoît Montagu

Formal Methods Syst. Des., April, 2025

2024

Axiomatising an information flow logic based on partial equivalence relations.

Andrzej Filinski, Ken Friis Larsen, Thomas P. Jensen

Int. J. Softw. Tools Technol. Transf., August, 2024

Verification of Programs with ADTs Using Shallow Horn Clauses.

Théo Losekoot, Thomas Genet, Thomas P. Jensen

Proceedings of the Static Analysis - 31st International Symposium, 2024

2023

Deriving Abstract Interpreters from Skeletal Semantics.

Thomas P. Jensen, Vincent Rebiscoul, Alan Schmitt

Proceedings of the Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, 2023

Type-directed Program Transformation for Constant-Time Enforcement.

Gautier Raimondi, Frédéric Besson, Thomas P. Jensen

Proceedings of the International Symposium on Principles and Practice of Declarative Programming, 2023

MichelsonLiSA: A Static Analyzer for Tezos.

Luca Olivieri, Thomas P. Jensen, Luca Negrini, Fausto Spoto

Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2023

Automata-Based Verification of Relational Properties of Functions over Algebraic Data Structures.

Théo Losekoot, Thomas Genet, Thomas P. Jensen

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

2022

Lifting Numeric Relational Domains to Algebraic Data Types.

Santiago Bautista, Thomas P. Jensen, Benoît Montagu

Proceedings of the Static Analysis - 29th International Symposium, 2022

2021

Verification of Program Transformations with Inductive Refinement Types.

Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, Andrzej Wasowski

ACM Trans. Softw. Eng. Methodol., 2021

Trace-based control-flow analysis.

Benoît Montagu, Thomas P. Jensen

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Stable relations and abstract interpretation of higher-order programs.

Benoît Montagu, Thomas P. Jensen

Proc. ACM Program. Lang., 2020

Regular language type inference with term rewriting.

Timothée Haudebourg, Thomas Genet, Thomas P. Jensen

Proc. ACM Program. Lang., 2020

Numeric domains meet algebraic data types.

Santiago Bautista, Thomas P. Jensen, Benoît Montagu

Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, 2020

Termination of Ethereum's Smart Contracts.

Thomas Genet, Thomas P. Jensen, Justine Sauvage

Proceedings of the 17th International Joint Conference on e-Business and Telecommunications, 2020

Galois Connections for Recursive Types.

Ahmad Salim Al-Sibahi, Thomas P. Jensen, Rasmus Ejlers Møgelberg, Andrzej Wasowski

Proceedings of the From Lambda Calculus to Cybersecurity Through Program Analysis, 2020

2019

Skeletal semantics and their interpretations.

Martin Bodin, Philippa Gardner, Thomas P. Jensen, Alan Schmitt

Proc. ACM Program. Lang., 2019

Inferring frame conditions with static correlation analysis.

Oana Fabiana Andreescu, Thomas P. Jensen, Stéphane Lescuyer, Benoît Montagu

Proc. ACM Program. Lang., 2019

Compiling Sandboxes: Formally Verified Software Fault Isolation.

Frédéric Besson, Sandrine Blazy, Alexandre Dang, Thomas P. Jensen, Pierre Wilke

Proceedings of the Programming Languages and Systems, 2019

Information-Flow Preservation in Compiler Optimisations.

Frédéric Besson, Alexandre Dang, Thomas P. Jensen

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

2018

Modular Software Fault Isolation as Abstract Interpretation.

Frédéric Besson, Thomas P. Jensen, Julien Lepiller

Proceedings of the Static Analysis - 25th International Symposium, 2018

Verification of high-level transformations with inductive refinement types.

Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, Andrzej Wasowski

Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018

Verifying Higher-Order Functions with Tree Automata.

Thomas Genet, Timothée Haudebourg, Thomas P. Jensen

Proceedings of the Foundations of Software Science and Computation Structures, 2018

Securing Compilation Against Memory Probing.

Frédéric Besson, Alexandre Dang, Thomas P. Jensen

Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, 2018

2016

Using JavaScript Monitoring to Prevent Device Fingerprinting.

Nataliia Bielova, Frédéric Besson, Thomas P. Jensen

ERCIM News, 2016

Correlating Structured Inputs and Outputs in Functional Specifications.

Oana Fabiana Andreescu, Thomas P. Jensen, Stéphane Lescuyer

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

Hybrid Monitoring of Attacker Knowledge.

Frédéric Besson, Nataliia Bielova, Thomas P. Jensen

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2015

Hybrid Typing of Secure Information Flow in a JavaScript-Like Language.

José Fragoso Santos, Thomas P. Jensen, Tamara Rezk, Alan Schmitt

Proceedings of the Trustworthy Global Computing - 10th International Symposium, 2015

Dependency Analysis of Functional Specifications with Algebraic Data Structures.

Oana Fabiana Andreescu, Thomas P. Jensen, Stéphane Lescuyer

Proceedings of the Formal Methods and Software Engineering, 2015

Certified Abstract Interpretation with Pretty-Big-Step Semantics.

Martin Bodin, Thomas P. Jensen, Alan Schmitt

Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015

2014

SawjaCard: A Static Analysis Tool for Certifying Java Card Applications.

Frédéric Besson, Thomas P. Jensen, Pierre Vittet

Proceedings of the Static Analysis - 21st International Symposium, 2014

Browser Randomisation against Fingerprinting: A Quantitative Information Flow Approach.

Frédéric Besson, Nataliia Bielova, Thomas P. Jensen

Proceedings of the Secure IT Systems - 19th Nordic Conference, NordSec 2014, Tromsø, 2014

Pretty-big-step-semantics-based Certified Abstract Interpretation.

Martin Bodin, Thomas P. Jensen, Alan Schmitt

Proceedings of the 25. Journées francophones des langages applicatifs, 2014

2013

Pretty-big-step-semantics-based Certified Abstract Interpretation (Preliminary version).

Martin Bodin, Thomas P. Jensen, Alan Schmitt

Proceedings of the Semantics, 2013

Result Certification of Static Program Analysers with Automated Theorem Provers.

Frédéric Besson, Pierre-Emmanuel Cornilleau, Thomas P. Jensen

Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

Hybrid Information Flow Monitoring against Web Tracking.

Frédéric Besson, Nataliia Bielova, Thomas P. Jensen

Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

2012

Secure the Clones

Thomas P. Jensen, Florent Kirchner, David Pichardie

Log. Methods Comput. Sci., 2012

Inference of Polynomial Invariants for Imperative Programs: A Farewell to Gröbner Bases.

David Cachera, Thomas P. Jensen, Arnaud Jobin, Florent Kirchner

Proceedings of the Static Analysis - 19th International Symposium, 2012

2011

Secure the Clones - Static Enforcement of Policies for Secure Object Copying.

Thomas P. Jensen, Florent Kirchner, David Pichardie

Proceedings of the Programming Languages and Systems, 2011

2010

Verifying resource access control on mobile interactive devices.

Frédéric Besson, Guillaume Dufay, Thomas P. Jensen, David Pichardie

J. Comput. Secur., 2010

Certified Result Checking for Polyhedral Analysis of Bytecode Programs.

Frédéric Besson, Thomas P. Jensen, David Pichardie, Tiphaine Turpin

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

Sawja: Static Analysis Workshop for Java.

Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas P. Jensen, Vincent Monfort, David Pichardie, Tiphaine Turpin

Proceedings of the Formal Verification of Object-Oriented Software, 2010

Enforcing Secure Object Initialization in Java.

Laurent Hubert, Thomas P. Jensen, Vincent Monfort, David Pichardie

Proceedings of the Computer Security, 2010

A Provably Correct Stackless Intermediate Representation for Java Bytecode.

Delphine Demange, Thomas P. Jensen, David Pichardie

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2009

Control-flow analysis of function calls and returns by abstract interpretation.

Jan Midtgaard, Thomas P. Jensen

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

Certified Static Analysis by Abstract Interpretation.

Frédéric Besson, David Cachera, Thomas P. Jensen, David Pichardie

Proceedings of the Foundations of Security Analysis and Design V, 2009

2008

A Calculational Approach to Control-Flow Analysis by Abstract Interpretation.

Jan Midtgaard, Thomas P. Jensen

Proceedings of the Static Analysis, 15th International Symposium, 2008

Semantic Foundations and Inference of Non-null Annotations.

Laurent Hubert, Thomas P. Jensen, David Pichardie

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

Computing Stack Maps with Interfaces.

Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin

Proceedings of the ECOOP 2008, 2008

Certifying a Tree Automata Completion Checker.

Benoît Boyer, Thomas Genet, Thomas P. Jensen

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

Long-Run Cost Analysis by Approximation of Linear Operators over Dioids.

David Cachera, Thomas P. Jensen, Arnaud Jobin, Pascal Sotin

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Rewriting Approximations for Fast Prototyping of Static Analyzers.

Yohan Boichut, Thomas Genet, Thomas P. Jensen, Luka Le Roux

Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007

The MOBIUS Proof Carrying Code Infrastructure.

Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas P. Jensen, David Pichardie

Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

Small Witnesses for Abstract Interpretation-Based Proofs.

Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin

Proceedings of the Programming Languages and Systems, 2007

2006

Proof-carrying code from certified abstract interpretation and fixpoint compression.

Frédéric Besson, Thomas P. Jensen, David Pichardie

Theor. Comput. Sci., 2006

Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card.

Pascal Sotin, David Cachera, Thomas P. Jensen

Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, 2006

Certificates of Resource Usage on Mobile Telephones.

Thomas P. Jensen

Proceedings of the Leveraging Applications of Formal Methods, 2006

A Formal Model of Access Control for Mobile Interactive Devices.

Frédéric Besson, Guillaume Dufay, Thomas P. Jensen

Proceedings of the Computer Security, 2006

Automata-Based Confidentiality Monitoring.

Gurvan Le Guernic, Anindya Banerjee, Thomas P. Jensen, David A. Schmidt

Proceedings of the Advances in Computer Science, 2006

2005

Interfaces for stack inspection.

Frédéric Besson, Thomas de Grenier de Latour, Thomas P. Jensen

J. Funct. Program., 2005

Certified Memory Usage Analysis.

David Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider

Proceedings of the FM 2005: Formal Methods, 2005

2004

Validation du contrôle d'accès dans des cartes à puce multiapplications.

Marc Éluard, Thomas P. Jensen

Tech. Sci. Informatiques, 2004

Guest editors' introduction: Special issue on Formal Methods for Smart Cards.

Marieke Huisman, Thomas P. Jensen

J. Log. Algebraic Methods Program., 2004

Extracting a Data Flow Analyser in Constructive Logic.

David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu

Proceedings of the Programming Languages and Systems, 2004

2003

Class analyses as abstract interpretations of trace semantics.

Fausto Spoto, Thomas P. Jensen

ACM Trans. Program. Lang. Syst., 2003

Modular Control-Flow Analysis with Rank 2 Intersection Types.

Anindya Banerjee, Thomas P. Jensen

Math. Struct. Comput. Sci., 2003

A Java Card CAP converter in PVS.

Thomas Genet, Thomas P. Jensen, Vikash Kodati, David Pichardie

Proceedings of the Compiler Optimization Meets Compiler Verification, 2003

Modular Class Analysis with DATALOG.

Frédéric Besson, Thomas P. Jensen

Proceedings of the Static Analysis, 10th International Symposium, 2003

2002

Secure calling contexts for stack inspection.

Frédéric Besson, Thomas de Grenier de Latour, Thomas P. Jensen

Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002

Iteration schemes for fixed point calculation.

Thomas P. Jensen, Florimond Ployette, Olivier Ridoux

Proceedings of the Fixed Points in Computer Science, 2002

Secure Object Flow Analysis for Java Card.

Marc Éluard, Thomas P. Jensen

Proceedings of the Fifth Smart Card Research and Advanced Application Conference, 2002

Types in Program Analysis.

Thomas P. Jensen

Proceedings of the Essence of Computation, Complexity, Analysis, 2002

2001

Model Checking Security Properties of Control Flow Graphs.

Frédéric Besson, Thomas P. Jensen, Daniel Le Métayer

J. Comput. Secur., 2001

Class Analysis of Object-Oriented Programs through Abstract Interpretation.

Thomas P. Jensen, Fausto Spoto

Proceedings of the Foundations of Software Science and Computation Structures, 2001

An Operational Semantics of the Java Card Firewall.

Marc Éluard, Thomas P. Jensen, Ewen Denney

Proceedings of the Smart Card Programming and Security, 2001

2000

Correctness of Java Card Method Lookup via Logical Relations.

Ewen Denney, Thomas P. Jensen

Proceedings of the Programming Languages and Systems, 2000

1999

Verification of Control Flow based Security Properties.

Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn

Proceedings of the 1999 IEEE Symposium on Security and Privacy, 1999

Polyhedral Analysis for Synchronous Languages.

Frédéric Besson, Thomas P. Jensen, Jean-Pierre Talpin

Proceedings of the Static Analysis, 6th International Symposium, 1999

1998

Inference of Polymorphic and Conditional Strictness Properties.

Thomas P. Jensen

Proceedings of the POPL '98, 1998

Security and Dynamic Class Loading in Java: A Formalization.

Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn

Proceedings of the 1998 International Conference on Computer Languages, 1998

Coarse Grained Java Security Policies.

Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997

Disjunctive Program Analysis for Algebraic Data Types.

Thomas P. Jensen

ACM Trans. Program. Lang. Syst., 1997

1996

Flow Analysis in the Geometry of Interaction.

Thomas P. Jensen, Ian Mackie

Proceedings of the Programming Languages and Systems, 1996

1995

Conjunctive Type Systems and Abstract Interpretation of Higher-Order Functional Programs.

Thomas P. Jensen

J. Log. Comput., 1995

Clock Analysis of Synchronous Dataflow Programs.

Thomas P. Jensen

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995

1994

Denotational Semantics of Timed Dataflow Programs.

Thomas P. Jensen

Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994

Abstract Interpretation over Algebraic Data Types.

Thomas P. Jensen

Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, 1994

1993

A Congruence for Gamma Programs.

Lindsay Errington, Chris Hankin, Thomas P. Jensen

Proceedings of the Static Analysis, Third International Workshop, 1993

Reasoning About Gamma Programs.

Lindsay Errington, Chris Hankin, Thomas P. Jensen

Proceedings of the Theory and Formal Methods 1993, 1993

1992

Axiomatising Uniform Properties of Recursive Data Structures.

Thomas P. Jensen

Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992

Disjunctive Strictness Analysis

Thomas P. Jensen

Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

Homology of Higher Dimensional Automata.

Eric Goubault, Thomas P. Jensen

Proceedings of the CONCUR '92, 1992

1991

A Relational Approach to Strictness Analysis for Higher-Order Polymorphic Functions.

Samson Abramsky, Thomas P. Jensen

Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

Strictness Analysis in Logical Form.

Thomas P. Jensen

Proceedings of the Functional Programming Languages and Computer Architecture, 1991

1990

Abstract Interpretation vs. Type Inference A Topological Perspective.

Thomas P. Jensen

Proceedings of the 1990 Glasgow Workshop on Functional Programming, 1990

A Backwards Analysis for Compile-time Garbage Collection.

Thomas P. Jensen, Torben Æ. Mogensen

Proceedings of the ESOP'90, 1990