Karine Heydemann

Formal verification of a software countermeasure against instruction skip attacks

Nicolas Moro, Karine Heydemann, Emmanuelle Encrenaz et al. · Journal of Cryptographic Engineering · 2014 · 88 citations · Full text

Hardware Security, Program Checking, Engineering +14

Topology-Aware and Dependence-Aware Scheduling and Memory Allocation for Task-Parallel Languages

Andi Drebes, Karine Heydemann, Nathalie Drach et al. · ACM Transactions on Architecture and Code Optimization · 2014 · 37 citations · Full text

Cluster Computing, Engineering, Computer Architecture +24

Compiler-Assisted Loop Hardening Against Fault Attacks

Julien Proy, Karine Heydemann, Alexandre Berzati et al. · ACM Transactions on Architecture and Code Optimization · 2017 · 36 citations · Full text

Engineering, Information Security, Compiler Technology +21

Scalable Task Parallelism for NUMA

Andi Drebes, Antoniu Pop, Karine Heydemann et al. · 2016 · 33 citations · Full text

Cluster Computing, Scalable Task Parallelism, Engineering +17

Experimental evaluation of two software countermeasures against fault attacks

Nicolas Moro, Karine Heydemann, Amine Dehbaoui et al. · 2014 · 24 citations

Hardware Trojan, Engineering, Temporal Redundancy +18