25 citations · 28 across the 6 of their papers we have counts for
1 paper · 2 filters
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…