• Sign in
  • Sign up
conf.researchr.org / Karine Heydemann
  • C&ESAR 2021: Automation in Cybersecurity profile
  • CC 2020 profile
  • PLDI 2022 profile
  • POPL 2021 profile
  • SPLASH 2021 profile

Not registered as user

Name:Karine Heydemann
Country:France
Affiliation:Sorbonne University; CNRS; LIP6

Contributions

2022

PLDI

  • Author of (OOPSLA 2021) Reconciling Optimization with Secure Compilation within the SIGPLAN Track-track

2021

C&ESAR

  • Author of PROSECCO: Formally-Proven Secure Compiled Code within the Call for Papers-track
  • Author of PROSECCO: Formally-Proven Secure Compiled Code within the Appel à communications-track

SPLASH

  • Author of Reconciling Optimization with Secure Compilation within the OOPSLA-track

PriSC

  • Author of Secure Optimization Through Opaque Observations within the PriSC 2021-track

2020

CC

  • Author of Secure Delivery of Program Properties Through Optimizing Compilation within the Main Conference-track
Share
xSat 19 Jul 23:37
using conf.researchr.org (v1.69.1)
Support page
Sign Up