• Sign in
  • Sign up
conf.researchr.org / Frédéric Besson
  • C&ESAR 2021: Automation in Cybersecurity profile
  • ETAPS 2019 profile
  • POPL 2017 profile
  • POPL 2020 profile
  • POPL 2022 profile

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

Share
xMon 23 May 11:19
using conf.researchr.org (v1.55.6)
Support page
Sign Up