• 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 yet

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

Contributions

PLDI 2022 Author of (OOPSLA 2021) Reconciling Optimization with Secure Compilation within the SIGPLAN Track-track
C&ESAR 2021: Automation in Cybersecurity 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 2021 Author of Reconciling Optimization with Secure Compilation within the OOPSLA-track
PriSC 2021 Author of Secure Optimization Through Opaque Observations within the PriSC 2021-track
CC 2020 Author of Secure Delivery of Program Properties Through Optimizing Compilation within the Main Conference-track

Share
xTue 31 Jan 11:21
using conf.researchr.org (v1.58.0)
Support page
Sign Up