Frédéric Besson

Statistics

Publications

Citations

305

H-Index

Active since

2001

Affiliations

Institut de Recherche en Informatique et Systèmes Aléatoires(Current)

Centre National de la Recherche Scientifique

Institut national de recherche en sciences et technologies du numérique

Université de Rennes

Centre Inria de l'Université de Rennes

Frédéric Besson is an author at Institut de Recherche en Informatique et Systèmes Aléatoires specializing in engineering, computer science, and software analysis.

ORCID

Top concepts

EngineeringComputer ScienceFormal MethodsSoftware AnalysisProgram AnalysisFormal VerificationVerificationHardware SecurityData SecuritySystem Software

Publications per year

2001–2022

Publications

Model checking security properties of control flow graphs

Frédéric Besson, Thomas Wiben Jensen, Daniel Le Métayer et al. · Journal of Computer Security · 2001 · 73 citations

Proof-carrying code from certified abstract interpretation and fixpoint compression

Frédéric Besson, Thomas Wiben Jensen, David Pichardie · Theoretical Computer Science · 2006 · 47 citations

Engineering, Program Analysis, Automated Reasoning +9

Hybrid Information Flow Monitoring against Web Tracking

Frédéric Besson, Nataliia Bielova, Thomas Wiben Jensen · 2013 · 31 citations · Full text

Engineering, Information Security, Generic Hybrid Monitor +22

Secure calling contexts for stack inspection

Frédéric Besson, Thomas de Grenier de Latour, Thomas Wiben Jensen · 2002 · 25 citations

Engineering, Information Security, Verification +20

Femto-containers

Koen Zandberg, Emmanuel Baccelli, Shenghao Yuan et al. · 2022 · 24 citations · Full text

Hardware Security, New Middleware Runtime, Engineering +15

1–5 of 12