 |
 |
 |
 |
|
|
|
|---|---|---|
|
inria-00182338v4
Rapport
David Cachera, Thomas Jensen, Arnaud Jobin, Pascal Sotin. Long-Run Cost Analysis by Approximation of Linear Operators over Dioids [Research Report] RR-6338, INRIA. 2007, pp.35 |
||
|
inria-00001218v1
Communication dans un congrès
Gurvan Le Guernic, Thomas Jensen. Monitoring Information Flow Andrei Sabelfeld. Workshop on Foundations of Computer Security - FCS'05, Jul 2005, Chicago/USA, DePaul University, pp.19--30, 2005, Proceedings of the 2005 Workshop on Foundations of Computer Security (FCS'05) |
||
|
inria-00564611v1
Article dans une revue
David Cachera, Thomas Jensen, David Pichardie, Vlad Rusu. Extracting a data flow analyser in constructive logic Theoretical Computer Science, Elsevier, 2005, 342 (1) |
||
|
inria-00200724v2
Rapport
Frédéric Besson, Thomas Jensen, Tiphaine Turpin. Computing stack maps with interfaces [Research Report] PI 1879, 2008, pp.39 |
||
|
inria-00106330v2
Rapport
Yohan Boichut, Thomas Genet, Thomas Jensen, Luka Leroux. Rewriting for Fast Prototyping of Static Analyzers [Research Report] RR-5997, INRIA. 2006, pp.20 |
||
|
hal-00699608v1
Article dans une revue
David Cachera, Thomas Jensen, Arnaud Jobin, Pascal Sotin. Long-Run Cost Analysis by Approximation of Linear Operators over Dioids Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2010, 20 (4), pp.589-624. <10.1017/S0960129510000113> |
||
|
inria-00332526v1
Communication dans un congrès
Frédéric Besson, Thomas Jensen, Tiphaine Turpin. Computing stack maps with interfaces ECOOP'08, 2008, Paphos, Cyprus. 2008 |
||
|
inria-00130210v1
Communication dans un congrès
Gurvan Le Guernic, Anindya Banerjee, Thomas Jensen, David Schmidt. Automata-based Confidentiality Monitoring ASIAN'06: 11th Annual Asian Computing Science Conference, Dec 2006, Tokyo/Japan, 2006 |
||
|
hal-00924167v1
Communication dans un congrès
Frédéric Besson, Pierre-Emmanuel Cornilleau, Thomas Jensen. Result Certification of Static Program Analysers with Automated Theorem Provers VSTTE 2013 - Fifth Working Conference on Verified Software: Theories, Tools and Experiments, 2013, Atherthon, United States. 2013 |
||
|
hal-00924138v1
Communication dans un congrès
Frédéric Besson, Nataliia Bielova, Thomas Jensen. Hybrid Information Flow Monitoring Against Web Tracking CSF - 2013 IEEE 26th Computer Security Foundations Symposium, 2013, New Orleans, United States. 2013, <10.1109/CSF.2013.23> |
||
|
hal-00927400v1
Communication dans un congrès
Martin Bodin, Thomas Jensen, Alan Schmitt. Pretty-big-step-semantics-based Certified Abstract Interpretation JFLA - 25ème Journées Francophones des Langages Applicatifs - 2014, Jan 2014, Fréjus, France. 2014 |
||
|
hal-01081037v1
Communication dans un congrès
Frédéric Besson, Nataliia Bielova, Thomas Jensen. Browser Randomisation against Fingerprinting: A Quantitative Information Flow Approach Nordic Conference on Secure IT Systems (NordSec 2014), Oct 2014, Tromsø, Norway. 2014, <10.1007/978-3-319-11599-3_11> |
||
|
hal-00984654v2
Rapport
Frédéric Besson, Nataliia Bielova, Thomas Jensen. Enforcing Browser Anonymity with Quantitative Information Flow [Research Report] RR-8532, INRIA. 2014 |
||
|
inria-00433820v2
Rapport
Frédéric Besson, Thomas Jensen, Tiphaine Turpin. Computing the Least Fix-point Semantics of Definite Logic Programs Using BDDs [Research Report] PI 1939, 2009, pp.25 |
||
|
hal-00544493v1
Communication dans un congrès
Frédéric Besson, Thomas Jensen, Jean-Pierre Talpin. Polyhedral Analysis for Synchronous Languages 6th International Symposium on Static Analysis (SAS'99), Sep 1999, Venice, Italy. Springer-Verlag, pp.51-68, 1999, LNCS vol. 1694 |
||
|
hal-01093327v1
Communication dans un congrès
Frédéric Besson, Thomas Jensen, Pierre Vittet. SawjaCard: A Static Analysis Tool for Certifying Java Card Applications 21st International Static Analysis Symposium (SAS 2014), 2014, Munich, Germany. Springer, 8858, pp.51 - 67, 2014, <10.1007/978-3-319-10936-7_4> |
||
|
inria-00574944v1
Communication dans un congrès
Jan Midtgaard, Thomas Jensen. Control-flow analysis of function call and returns by abstract interpretation ACM International Conference on Functional Programming, Sep 2009, Edinburgh, United Kingdom. 2009, <10.1145/1596550.1596592> |
||
|
hal-01194558v1
Direction d'ouvrage, Proceedings
Sandrine Blazy, Thomas Jensen. Static Analysis Symposium - 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015. Proceedings Sandrine Blazy, Thomas Jensen. Static Analysis Symposium - 22nd International Symposium, SAS 2015, Aug 2015, Saint-Malo, France. Lecture Notes in Computer Science (LNCS) (9291), Springer, pp.335, 2015, 978-3-662-48287-2. <sas2015.inria.fr> |
||
|
hal-01353997v1
Article dans une revue
Nataliia Bielova, Frédéric Besson, Thomas Jensen. Using JavaScript Monitoring to Prevent Device Fingerprinting ERCIM News, ERCIM, 2016 |
||
|
hal-01310572v1
Communication dans un congrès
Frédéric Besson, Nataliia Bielova, Thomas Jensen. Hybrid Monitoring of Attacker Knowledge 29th IEEE Computer Security Foundations Symposium, 2016, Lisboa, Portugal |
||
|
hal-01111588v1
Communication dans un congrès
Martin Bodin, Thomas Jensen, Alan Schmitt. Certified Abstract Interpretation with Pretty-Big-Step Semantics Certified Programs and Proofs (CPP 2015), Jan 2015, Mumbai, India. Proceedings of the 2015 Conference on Certified Programs and Proofs. <10.1145/2676724.2693174> |
||
|
hal-01243029v1
Communication dans un congrès
José Fragoso Santos, Thomas Jensen, Tamara Rezk, Alan Schmitt. Hybrid Typing of Secure Information Flow in a JavaScript-like Language International Symposium on Trustworthy Global Computing, Aug 2015, Madrid, Spain. Proceedings of the 10th International Symposium on Trustworthy Global Computing (TGC 2015) |
||
|
hal-01394174v1
Communication dans un congrès
Pauline Bolignano, Thomas Jensen, Vincent Siles. Modeling and Abstraction of Memory Management in a Hypervisor Fundamental Approaches to Software Engineering (FASE’16), Apr 2016, Eindhoven, Netherlands. Springer, Springer LNCS 9633, pp.214 - 230, 2016, Proc. of Fundamental Approaches to Software Engineering (FASE’16). <10.1007/978-3-662-49665-7_13> |
||
|
hal-01394178v1
Communication dans un congrès
Andreescu Oana, Thomas Jensen, Stéphane Lescuyer. Correlating Structured Inputs and Outputs in Functional Specifications Software Engineering and Formal Methods , Jul 2016, Vienna, Austria. Springer, Springer LNCS 9763, pp.19, 2016, 14th Int. Software Engineering and Formal Methods conference. <10.1007/978-3-319-41591-8_7> |
||
|
hal-01333600v1
Communication dans un congrès
Martin Bodin, Thomas Jensen, Alan Schmitt. An Abstract Separation Logic for Interlinked Extensible Records Julien Signoles. Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Jan 2016, Saint-Malo, France. 27es Journées Francophones des Langages Applicatifs, 2016 |
||
|
hal-01243002v1
Communication dans un congrès
Thomas Jensen, Stephane Lescuyer, Andreescu Oana. Dependency Analysis of Functional Specifications with Algebraic Data Structures 17th International Conference on Formal Engineering Methods, ICFEM 2015, Nov 2015, Paris, France. Springer Verlag, Proc. of 17th International Conference on Formal Engineering Methods (ICFEM 2015), Springer LNCS vol. 9407, 9407, pp.18, 2015, Springer LNCS. <10.1007/978-3-319-25423-4_8> |
||
|
inria-00258275v3
Rapport
Benoît Boyer, Thomas Genet, Thomas Jensen. Certifying a Tree Automata Completion Checker [Research Report] RR-6462, INRIA. 2008, pp.26 |
||
|
inria-00332356v1
Communication dans un congrès
Laurent Hubert, Thomas Jensen, David Pichardie. Semantic Foundations and Inference of Non-null Annotations 10th International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'08), 2008, Oslo, Norway. 2008 |
||
|
inria-00166930v4
Rapport
Frédéric Besson, Thomas Jensen, David Pichardie, Tiphaine Turpin. Result certification for relational program analysis [Research Report] RR-6333, INRIA. 2007, pp.32 |
||
|
|
|