| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jan Midtgaard, Thomas P. Jensen |
Control-flow analysis of function calls and returns by abstract interpretation.  |
Inf. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas P. Jensen, Florent Kirchner, David Pichardie |
Secure the Clones |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Thomas P. Jensen, Florent Kirchner, David Pichardie |
Secure the Clones - Static Enforcement of Policies for Secure Object Copying. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Besson, Guillaume Dufay, Thomas P. Jensen, David Pichardie |
Verifying resource access control on mobile interactive devices. |
Journal of Computer Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Cachera, Thomas P. Jensen, Arnaud Jobin, Pascal Sotin |
Long-run cost analysis by approximation of linear operators over dioids. |
Mathematical Structures in Computer Science |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Hubert, Thomas P. Jensen, Vincent Monfort, David Pichardie |
Enforcing Secure Object Initialization in Java |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Delphine Demange, Thomas P. Jensen, David Pichardie |
A Provably Correct Stackless Intermediate Representation for Java Bytecode. |
APLAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Besson, Thomas P. Jensen, David Pichardie, Tiphaine Turpin |
Certified Result Checking for Polyhedral Analysis of Bytecode Programs. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Hubert, Thomas P. Jensen, Vincent Monfort, David Pichardie |
Enforcing Secure Object Initialization in Java. |
ESORICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Besson, David Cachera, Thomas P. Jensen, David Pichardie |
Certified Static Analysis by Abstract Interpretation. |
FOSAD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Midtgaard, Thomas P. Jensen |
Control-flow analysis of function calls and returns by abstract interpretation. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
direct style, tail-call optimization, abstract interpretation, control flow analysis, continuation-passing style, constraint-based analysis |
| 1 | Laurent Hubert, Thomas P. Jensen, David Pichardie |
Semantic Foundations and Inference of Non-null Annotations. |
FMOODS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Boyer, Thomas Genet, Thomas P. Jensen |
Certifying a Tree Automata Completion Checker. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Cachera, Thomas P. Jensen, Arnaud Jobin, Pascal Sotin |
Long-Run Cost Analysis by Approximation of Linear Operators over Dioids. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Midtgaard, Thomas P. Jensen |
A Calculational Approach to Control-Flow Analysis by Abstract Interpretation. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin |
Computing Stack Maps with Interfaces. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas P. Jensen, David Pichardie |
The MOBIUS Proof Carrying Code Infrastructure. |
FMCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yohan Boichut, Thomas Genet, Thomas P. Jensen, Luka Le Roux |
Rewriting Approximations for Fast Prototyping of Static Analyzers. |
RTA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin |
Small Witnesses for Abstract Interpretation-Based Proofs. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Besson, Thomas P. Jensen, David Pichardie |
Proof-carrying code from certified abstract interpretation and fixpoint compression. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Sotin, David Cachera, Thomas P. Jensen |
Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gurvan Le Guernic, Anindya Banerjee, Thomas P. Jensen, David A. Schmidt |
Automata-Based Confidentiality Monitoring. |
ASIAN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Besson, Guillaume Dufay, Thomas P. Jensen |
A Formal Model of Access Control for Mobile Interactive Devices. |
ESORICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu |
Extracting a data flow analyser in constructive logic. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Besson, Thomas de Grenier de Latour, Thomas P. Jensen |
Interfaces for stack inspection. |
J. Funct. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider |
Certified Memory Usage Analysis. |
FM |
2005 |
DBLP DOI BibTeX RDF |
certified memory analysis, Program analysis, theorem proving, constraint solving |
| 1 | Michael D. Ernst, Thomas P. Jensen (eds.) |
Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal, September 5-6, 2005 |
PASTE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Marieke Huisman, Thomas P. Jensen |
Guest editors' introduction: Special issue on Formal Methods for Smart Cards. |
J. Log. Algebr. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Éluard, Thomas P. Jensen |
Validation du contrôle d'accès dans des cartes à puce multiapplications. |
Technique et Science Informatiques |
2004 |
DBLP BibTeX RDF |
|
| 1 | David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu |
Extracting a Data Flow Analyser in Constructive Logic. |
ESOP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Anindya Banerjee, Thomas P. Jensen |
Modular Control-Flow Analysis with Rank 2 Intersection Types. |
Mathematical Structures in Computer Science |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Genet, Thomas P. Jensen, Vikash Kodati, David Pichardie |
A Java Card CAP converter in PVS. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Fausto Spoto, Thomas P. Jensen |
Class analyses as abstract interpretations of trace semantics. |
ACM Trans. Program. Lang. Syst. |
2003 |
DBLP DOI BibTeX RDF |
Abstract interpretation, denotational semantics, class analysis |
| 1 | Frédéric Besson, Thomas P. Jensen |
Modular Class Analysis with DATALOG. |
SAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ewen Denney, Thomas P. Jensen |
Correctness of Java card method lookup via logical relations. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Éluard, Thomas P. Jensen |
Secure Object Flow Analysis for Java Card. |
CARDIS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Thomas P. Jensen, Florimond Ployette, Olivier Ridoux |
Iteration schemes for fixed point calculation. |
FICS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Frédéric Besson, Thomas de Grenier de Latour, Thomas P. Jensen |
Secure calling contexts for stack inspection. |
PPDP |
2002 |
DBLP DOI BibTeX RDF |
constraints, language based security, linear temporal logic, static program analysis, stack inspection |
| 1 | Thomas P. Jensen |
Types in Program Analysis. |
The Essence of Computation |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Besson, Thomas P. Jensen, Daniel Le Métayer |
Model Checking Security Properties of Control Flow Graphs. |
Journal of Computer Security |
2001 |
DBLP BibTeX RDF |
|
| 1 | Isabelle Attali, Thomas P. Jensen (eds.) |
Smart Card Programming and Security, International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001, Proceedings |
E-smart |
2001 |
DBLP BibTeX RDF |
|
| 1 | Marc Éluard, Thomas P. Jensen, Ewen Denney |
An Operational Semantics of the Java Card Firewall. |
E-smart |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabelle Attali, Thomas P. Jensen (eds.) |
Java on Smart Cards: Programming and Security, First International Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised Papers |
Java Card |
2001 |
DBLP BibTeX RDF |
|
| 1 | Thomas P. Jensen, Fausto Spoto |
Class Analysis of Object-Oriented Programs through Abstract Interpretation. |
FoSSaCS |
2001 |
DBLP DOI BibTeX RDF |
semantics, Abstract interpretation, object-oriented languages, domain theory, class analysis |
| 1 | Ewen Denney, Thomas P. Jensen |
Correctness of Java Card Method Lookup via Logical Relations. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn |
Verification of Control Flow based Security Properties. (PDF / PS) |
IEEE Symposium on Security and Privacy |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Besson, Thomas P. Jensen, Jean-Pierre Talpin |
Polyhedral Analysis for Synchronous Languages. |
SAS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn |
Coarse Grained Java Security Policies. |
ECOOP Workshops |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas P. Jensen |
Inference of Polymorphic and Conditional Strictness Properties. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas P. Jensen, Daniel Le Métayer, Tommy Thorn |
Security and Dynamic Class Loading in Java: A Formalization. (PDF / PS) |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas P. Jensen |
Disjunctive Program Analysis for Algebraic Data Types. |
ACM Trans. Program. Lang. Syst. |
1997 |
DBLP DOI BibTeX RDF |
abstract interpretaton, binding-time and data-flow analysis, nonstandard type systems, lambda calculus, strictness analysis |
| 1 | Thomas P. Jensen, Ian Mackie |
Flow Analysis in the Geometry of Interaction. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas P. Jensen |
Conjunctive Type Systems and Abstract Interpretation of Higher-Order Functional Programs. |
J. Log. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas P. Jensen |
Clock Analysis of Synchronous Dataflow Programs. |
PEPM |
1995 |
DBLP DOI BibTeX RDF |
Lustre |
| 1 | Thomas P. Jensen |
Denotational Semantics of Timed Dataflow Programs. |
Theory and Formal Methods |
1994 |
DBLP BibTeX RDF |
|
| 1 | Thomas P. Jensen |
Abstract Interpretation over Algebraic Data Types. |
ICCL |
1994 |
DBLP BibTeX RDF |
|
| 1 | Lindsay Errington, Chris Hankin, Thomas P. Jensen |
Reasoning About Gamma Programs. |
Theory and Formal Methods |
1993 |
DBLP BibTeX RDF |
|
| 1 | Lindsay Errington, Chris Hankin, Thomas P. Jensen |
A Congruence for Gamma Programs. |
WSA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Goubault, Thomas P. Jensen |
Homology of Higher Dimensional Automata. |
CONCUR |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas P. Jensen |
Disjunctive Strictness Analysis |
LICS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas P. Jensen |
Axiomatising Uniform Properties of Recursive Data Structures. |
WSA |
1992 |
DBLP BibTeX RDF |
|
| 1 | Samson Abramsky, Thomas P. Jensen |
A Relational Approach to Strictness Analysis for Higher-Order Polymorphic Functions. |
POPL |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas P. Jensen |
Strictness Analysis in Logical Form. |
FPCA |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas P. Jensen, Torben Æ. Mogensen |
A Backwards Analysis for Compile-time Garbage Collection. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")