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 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
x
Tue 6 Jun 22:21