60 citations · 72 across the 5 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.CR2018
Software Fault Isolation for Robust Compilation
Ana Nora Evans
Memory corruption vulnerabilities are endemic to unsafe languages, such as C, and they can even be found in safe languages that themselves are implemented in unsafe languages or li…
cs.CR2018★ 10 cited
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise
Carmine Abate, Arthur Azevedo de Amorim, Roberto Blanco +8
We propose a new formal criterion for evaluating secure compilation schemes for unsafe languages, expressing end-to-end security guarantees for software components that may become…