10 citations · 16 across the 7 of their papers we have counts for
1 paper · 1 filter
Guglielmo Fachini, Catalin Hritcu, Marco Stronati +5
We propose a new formal criterion for secure compilation, providing strong security guarantees for components written in unsafe, low-level languages with C-style undefined behavior…