60 citations · 61 across the 4 of their papers we have counts for
1 paper · 1 filter
Akram El-Korashy, Roberto Blanco, Jérémy Thibault +3
Proving secure compilation of partial programs typically requires back-translating an attack against the compiled program to an attack against the source program. To prove back-tra…