Frédéric Besson

Orcid: 0000-0001-6815-0652

According to our database1, Frédéric Besson authored at least 41 papers between 1999 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
PfComp: A Verified Compiler for Packet Filtering Leveraging Binary Decision Diagrams.
Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2023
Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023

Type-directed Program Transformation for Constant-Time Enforcement.
Proceedings of the International Symposium on Principles and Practice of Declarative Programming, 2023

Work in Progress: Thwarting Timing Attacks in Microcontrollers using Fine-grained Hardware Protections.
Proceedings of the IEEE European Symposium on Security and Privacy, 2023

2022
Femto-containers: lightweight virtualization and fault isolation for small software functions on low-power IoT microcontrollers.
Proceedings of the Middleware '22: 23rd International Middleware Conference, Quebec, QC, Canada, November 7, 2022

End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers.
Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021
Itauto: An Extensible Intuitionistic SAT Solver.
Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2019
CompCertS: A Memory-Aware Verified C Compiler Using a Pointer as Integer Semantics.
J. Autom. Reason., 2019

A Verified CompCert Front-End for a Memory Model Supporting Pointer Arithmetic and Uninitialised Data.
J. Autom. Reason., 2019

Compiling Sandboxes: Formally Verified Software Fault Isolation.
Proceedings of the Programming Languages and Systems, 2019

Information-Flow Preservation in Compiler Optimisations.
Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

2018
Modular Software Fault Isolation as Abstract Interpretation.
Proceedings of the Static Analysis - 25th International Symposium, 2018

Securing Compilation Against Memory Probing.
Proceedings of the 13th Workshop on Programming Languages and Analysis for Security, 2018

2016
Using JavaScript Monitoring to Prevent Device Fingerprinting.
ERCIM News, 2016

Hybrid Monitoring of Attacker Knowledge.
Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2015
A Concrete Memory Model for CompCert.
Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

2014
SawjaCard: A Static Analysis Tool for Certifying Java Card Applications.
Proceedings of the Static Analysis - 21st International Symposium, 2014

Browser Randomisation against Fingerprinting: A Quantitative Information Flow Approach.
Proceedings of the Secure IT Systems - 19th Nordic Conference, NordSec 2014, Tromsø, 2014

A Precise and Abstract Memory Model for C Using Symbolic Values.
Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2013
Result Certification of Static Program Analysers with Automated Theorem Provers.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

Hybrid Information Flow Monitoring against Web Tracking.
Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

2012
Walking through the Forest: Fast EUF Proof-Checking Algorithms.
Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, 2012

2011
A Flexible Proof Format for SMT: a Proposal.
Proceedings of the PxTP 2011: First International Workshop on Proof eXchange for Theorem Proving, 2011

A Nelson-Oppen based Proof System using Theory Specific Proof Systems.
Proceedings of the PxTP 2011: First International Workshop on Proof eXchange for Theorem Proving, 2011

Modular SMT Proofs for Fast Reflexive Checking Inside Coq.
Proceedings of the Certified Programs and Proofs - First International Conference, 2011

2010
Verifying resource access control on mobile interactive devices.
J. Comput. Secur., 2010

Certified Result Checking for Polyhedral Analysis of Bytecode Programs.
Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

Sawja: Static Analysis Workshop for Java.
Proceedings of the Formal Verification of Object-Oriented Software, 2010

2009
Certified Static Analysis by Abstract Interpretation.
Proceedings of the Foundations of Security Analysis and Design V, 2009

CPA beats ∞-CFA.
Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, 2009

2008
Computing Stack Maps with Interfaces.
Proceedings of the ECOOP 2008, 2008

2007
Small Witnesses for Abstract Interpretation-Based Proofs.
Proceedings of the Programming Languages and Systems, 2007

2006
Proof-carrying code from certified abstract interpretation and fixpoint compression.
Theor. Comput. Sci., 2006

Fast Reflexive Arithmetic Tactics the Linear Case and Beyond.
Proceedings of the Types for Proofs and Programs, International Workshop, 2006

A Formal Model of Access Control for Mobile Interactive Devices.
Proceedings of the Computer Security, 2006

2005
Interfaces for stack inspection.
J. Funct. Program., 2005

2004
From Stack Inspection to Access Control: A Security Analysis for Libraries.
Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004

2003
Modular Class Analysis with DATALOG.
Proceedings of the Static Analysis, 10th International Symposium, 2003

2002
Secure calling contexts for stack inspection.
Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002

2001
Model Checking Security Properties of Control Flow Graphs.
J. Comput. Secur., 2001

1999
Polyhedral Analysis for Synchronous Languages.
Proceedings of the Static Analysis, 6th International Symposium, 1999


  Loading...