Publications of Frederic Besson

Load the BibTeX file

Academic Journals

  1. Frédéric Besson, Thomas Jensen, Guillaume Dufay, David Pichardie. Verifying Resource Access Control on Mobile Interactive Devices. Journal of Computer Security, 18(6):971-998, 2010.
  2. Frédéric Besson, Thomas Jensen, David Pichardie. Proof-Carrying Code from Certified Abstract Interpretation to Fixpoint Compression. Theoretical Computer Science, 364(3):273-291, 2006.
  3. F. Besson, T. de Grenier de Latour, T. Jensen. Interfaces for stack inspection. Journal of Functional Programming, 15(2):179-217, 2005. download
  4. F. Besson, T. Jensen, D. Le Métayer, T. Thorn. Model ckecking security properties of control flow graphs. Journal of Computer Security, 9:217-250, 2001. download

International Conferences

  1. Frédéric Besson, Nataliia Bielova, Thomas Jensen. Hybrid Information Flow Monitoring Against Web Tracking. In CSF - 2013 IEEE 26th Computer Security Foundations Symposium, New Orleans, United States, 2013. download
  2. Frédéric Besson, Pierre-Emmanuel Cornilleau, Thomas Jensen. Result Certification of Static Program Analysers with Automated Theorem Provers. In VSTTE 2013 - Fifth Working Conference on Verified Software: Theories, Tools and Experiments, Atherthon, United States, 2013. download
  3. Frédéric Besson, Pierre-Emmanuel Cornilleau, Ronan Saillard. Walking through the Forest: a Fast EUF Proof-Checking Algorithm. In Second International Workshop on Proof eXchange for Theorem Proving - PxTP 2012, 2012.
  4. Frédéric Besson, Pascal Fontaine, Laurent Théry. A Flexible Proof Format for SMT: a Proposal. In Workshop on Proof eXchange for Theorem Proving (PxTP), 2011.
  5. Frédéric Besson, Pierre-Emmanuel Cornilleau, David Pichardie. A Nelson-Oppen based Proof System using Theory Specific Proof Systems. In Workshop on Proof eXchange for Theorem Proving (PxTP), 2011.
  6. Frédéric Besson, Pierre-Emmanuel Cornilleau, David Pichardie. Modular SMT Proofs for Fast Reflexive Checking inside Coq. In First International Conference on Certified Programs and Proofs, Lecture Notes in Computer Science, Volume 7086, Pages 151-166, Kenting, Taiwan, Province De Chine, 2011. download
  7. Frédéric Besson, Thomas Jensen, David Pichardie, Tiphaine Turpin. Certified Result Checking for Polyhedral Analysis of Bytecode Programs. In Proc.\ of the 5th International Symposium on Trustworthy Global Computing (TGC 2010), Lecture Notes in Computer Science, Volume 6084, Pages 253-267, 2010.
  8. Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas Jensen, Vincent Monfort, David Pichardie, Tiphaine Turpin. Sawja: Static Analysis Workshop for Java. In 1st International Conference on Formal Verification of Object-Oriented Software (FoVeOOS), Lecture Notes in Computer Science, 2010.
  9. Frédéric Besson. On using an inexact floating-point LP solver for deciding linear arithmetic in an SMT solver. In 8th International Workshop on Satisfiability Modulo Theories, 2010.
  10. Frédéric Besson. CPA beats oo-CFA. In Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, Pages 1-6, 2009.
  11. Frédéric Besson, Thomas Jensen, T. Turpin. Computing stack maps with interfaces. In Proc. of the 22nd European Conference on Object-Oriented Programming (ECOOP 2008), LNCS, Volume 5142, Pages 642-666, 2008.
  12. F. Besson, T. Jensen, T. Turpin. Small Witnesses for Abstract Interpretation-Based proofs. In Proc. of 16th European Symposium on Programming (ESOP'07), LNCS, Volume 4421, Pages 268-283, 2007.
  13. F. Besson. Fast Reflexive Arithmetic Tactics: the linear case and beyond. In Types for Proofs and Programs (TYPES'06), LNCS, Volume 4502, Pages 48-62, 2006. pdf
  14. F. Besson, T. Jensen, D. Pichardie. A PCC Architecture based on Certified Abstract Interpretation. In Proc. of 1st International Workshop on Emerging Applications of Abstract Interpretation (EAAI'06), ENTCS, 2006. download
  15. Frédéric Besson, Guillaume Dufay, Thomas Jensen. A Formal Model of Access Control for Mobile Interactive Devices. In 11th European Symposium On Research In Computer Security (ESORICS'06), Lecture Notes in Computer Science, Volume 4189, 2006. download
  16. F. Besson, T. Jensen. Modular Class Analysis with DATALOG. In Proc. of 10th Static Analysis Symposium (SAS 2003), R. Cousot (ed.), Pages 19-36, 2003. download
  17. F. Besson, Thomas de Grenier de Latour, T. Jensen. Secure calling contexts for stack inspection. In Proc. of 4th Int Conf. on Principles and Practice of Declarative Programming (PPDP 2002), Pages 76-87, 2002. download
  18. F. Besson, T. Jensen, J.P. Talpin. Polyhedral Analysis for Synchronous Languages. In International Static Analysis Symposium, SAS'99, Gilberto Filé (ed.), Lecture Notes in Computer Science, Volume 1694, September 1999.

Research Reports

  1. Tiphaine Turpin, Frédéric Besson, Thomas Jensen. Computing the Least Fix-point Semantics of Logic Programs Using BDDs. Research Report INRIA, No 7107, 2009.
  2. F. Besson, T. Jensen, D. Pichardie, T. Turpin. Result certification for relational program analysis. Research Report Inria, No 6333, September 2007. download
  3. F. Besson, T. Jensen, D. Pichardie. A PCC Architecture based on Certified Abstract Interpretation. Research Report INRIA, No 0, November 2005.

Misc

  1. Fré Besson, David Cachera, Thomas Jensen, David Pichardie. Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures. pp. 223-257, 2009.

Thesis

  1. F. Besson. Analyse modulaire de programmes. PhD Thesis Université de Rennes 1, 2002. download