Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Karine Heydemann
conf.researchr.org general profile
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
x
Sat 19 Jul 23:37