Thomas Jensen

发表

Abstract Interpretation vs. Type Inference A Topological Perspective

Thomas Jensen, 1990, Functional Programming.

Hybrid information flow analysis against web tracking (invited talk)

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

Static Analysis Symposium - 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015. Proceedings

Sandrine Blazy, Thomas Jensen, 2015, SAS 2015.

New Results - Static analysis of functional specifications

Thomas Jensen, Oana Fabiana Andreescu, 2015 .

Contracts and Grants with Industry - European FET-Integrated project MOBIUS

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

Enforcing Browser Anonymity with Quantitative Information Flow

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

Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal, September 5-6, 2005

Michael D. Ernst, Thomas Jensen, Thomas Jensen, 2005, PASTE.

Monitoring Information Flow

Gurvan Le Guernic, Thomas Jensen, T. Jensen, 2005 .

Result certification for relational program analysis

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

New Results - Information Flow Tracking

David Pichardie, Nataliia Bielova, Delphine Demange, 2013 .

Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering

Michael D. Ernst, Thomas Jensen, Thomas Jensen, 2005 .

New Results - From certified abstract interpretation to proof-carrying code

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