Karine Heydemann -

Not registered as user yet

Name:Karine Heydemann

Country:France

Affiliation:Sorbonne University; CNRS; LIP6

Contributions

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