Nombre de documents

26


Article dans une revue2 documents

  • Nataliia Bielova, Frédéric Besson, Thomas Jensen. Using JavaScript Monitoring to Prevent Device Fingerprinting. ERCIM News, ERCIM, 2016. 〈hal-01353997〉
  • Frédéric Besson, Guillaume Dufay, Thomas Jensen, David Pichardie. Verifying Resource Access Control on Mobile Interactive Devices. Journal of Computer Security, IOS Press, 2010, 18 (6), pp.971-998. 〈inria-00537821〉

Communication dans un congrès17 documents

  • Frédéric Besson, Nataliia Bielova, Thomas Jensen. Hybrid Monitoring of Attacker Knowledge. 29th IEEE Computer Security Foundations Symposium, 2016, Lisboa, Portugal. 〈hal-01310572〉
  • Frédéric Besson, Sandrine Blazy, Pierre Wilke. A Concrete Memory Model for CompCert. Springer. ITP 2015 : 6th International Conference on Interactive Theorem Proving, Aug 2015, Nanjing, China. Lecture Notes in Computer Science (LNCS) (9236), pp.67-83, 2015, nteractive Theorem Proving. 〈10.1007/978-3-319-22102-1_5〉. 〈hal-01194549〉
  • 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-01081037〉
  • 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〉. 〈hal-01093327〉
  • Frédéric Besson, Sandrine Blazy, Pierre Wilke. A Precise and Abstract Memory Model for C Using Symbolic Values. 12th Asian Symposium on Programming Languages and Systems (APLAS 2014), 2014, Singapore, Singapore. Springer, 8858, pp.449 - 468, 2014, LNCS. 〈10.1007/978-3-319-12736-1_24〉. 〈hal-01093312〉
  • 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-00924138〉
  • 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-00924167〉
  • Frédéric Besson, Pierre-Emmanuel Cornilleau, David Pichardie. A Nelson-Oppen based Proof System using Theory Specific Proof Systems. Pascal Fontaine and Aaron Stump. First International Workshop on Proof eXchange for Theorem Proving - PxTP 2011, Aug 2011, Wrocław, Poland. 2011. 〈hal-00677193〉
  • Frédéric Besson, Pascal Fontaine, Laurent Théry. A Flexible Proof Format for SMT: a Proposal. Pascal Fontaine and Aaron Stump. First International Workshop on Proof eXchange for Theorem Proving - PxTP 2011, Aug 2011, Wrocław, Poland. 2011, 〈http://pxtp2011.loria.fr〉. 〈hal-00642544〉
  • Frédéric Besson, Pierre-Emmanuel Cornilleau, David Pichardie. Modular SMT Proofs for Fast Reflexive Checking inside Coq. First International Conference on Certified Programs and Proofs, 2011, Kenting, Taiwan. 2011. 〈hal-00646960〉
  • Frédéric Besson, Thomas Jensen, David Pichardie, Tiphaine Turpin. Certified Result Checking for Polyhedral Analysis of Bytecode Programs. The 5th International Symposium on Trustworthy Global Computing (TGC), 2010, Munich, Germany. Springer-Verlag, 2010, Lecture Notes in Computer Science. 〈inria-00537816〉
  • Frédéric Besson. On using an inexact floating-point LP solver for deciding linear arithmetic in an SMT solver. 8th International Workshop on Satisfiability Modulo Theories, 2010, Edinburgh, United Kingdom. 2010. 〈inria-00517308〉
  • Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas Jensen, et al.. Sawja: Static Analysis Workshop for Java. Beckert, Bernhard and Marché, Claude. The International Conference on Formal Verification of Object-Oriented Software, 2010, Paris, France. Springer-Verlag, 2010.13, pp.253--267, 2010, Lecture Notes in Computer Science. 〈http://digbib.ubka.uni-karlsruhe.de/volltexte/1000019083〉. 〈inria-00504047〉
  • Frédéric Besson. CPA beats oo-CFA. FTfJP '09 - Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, 2009, Genova, Italy. 2009, 〈10.1145/1557898.1557905〉. 〈hal-00780389〉
  • Frédéric Besson, David Cachera, Thomas Jensen, David Pichardie. Certified Static Analysis by Abstract Interpretation. Foundations of Security Analysis and Design V (FOSAD), 2009, Bertinoro, Italy. Springer-Verlag, 5705, pp.223-257, 2009, Lecture Notes in Computer Science. 〈inria-00538753〉
  • Frédéric Besson, Thomas Jensen, Tiphaine Turpin. Computing stack maps with interfaces. ECOOP'08, 2008, Paphos, Cyprus. 2008. 〈inria-00332526〉
  • 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-00544493〉

Autre publication1 document

  • Frédéric Besson, Guillaume Dufay, Thomas Jensen. A Formal Model of Access Control for Mobile Interactive Devices. 2006. 〈inria-00083453〉

Rapport6 documents

  • Frédéric Besson, Nataliia Bielova, Thomas Jensen. Enforcing Browser Anonymity with Quantitative Information Flow. [Research Report] RR-8532, INRIA. 2014. 〈hal-00984654v2〉
  • 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. 〈inria-00433820v2〉
  • Frédéric Besson, Thomas Jensen, Tiphaine Turpin. Computing stack maps with interfaces. [Research Report] PI 1879, 2008, pp.39. 〈inria-00200724v2〉
  • Frédéric Besson, Thomas Jensen, David Pichardie, Tiphaine Turpin. Result certification for relational program analysis. [Research Report] RR-6333, INRIA. 2007, pp.32. 〈inria-00166930v4〉
  • Frédéric Besson, Thomas Jensen, David Pichardie. A PCC Architecture based on Certified Abstract Interpretation. [Research Report] RR-5751, INRIA. 2005, pp.35. 〈inria-00070268〉
  • Frédéric Besson, Thomas Jensen, David Pichardie. A PCC Architecture based on Certified Abstract Interpretation. [Research Report] PI 1764, 2005, pp.35. 〈inria-00000866〉