Frédéric Besson -

Not registered as user yet

Name:Frédéric Besson

Contributions

PriSC 2022	Author of Type-directed Program Transformation for Constant-Time Enforcement within the PriSC 2022-track
C&ESAR 2021: Automation in Cybersecurity	Committee Member in Comité de programme / Program Committee
PriSC 2020	Committee Member in Program Committee within the Principles of Secure Compilation 2020-track
ESOP 2019	Author of Compiling Sandboxes: Formally Verified Software Fault Isolation within the ESOP 2019-track
SCM 2017	Presenter of Software Fault Isolation avec CompCert within the SCM-track
CoqPL 2017	Author of ppsimpl: a reflexive Coq tactic for canonising goals within the CoqPL 2017-track