60 citations · 119 across the 21 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.PL2018★ 60 cited
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation
Carmine Abate, Roberto Blanco, Deepak Garg +3
(CROPPED TO FIT IN ARXIV'S SILLY LIMIT. SEE PDF FOR COMPLETE ABSTRACT.) We are the first to thoroughly explore a large space of formal secure compilation criteria based on robust p…
cs.PL2018★ 4 cited
Robustly Safe Compilation or, Efficient, Provably Secure Compilation
Marco Patrignani, Deepak Garg
Secure compilers generate compiled code that withstands many target-level attacks such as alteration of control flow, data leaks or memory corruption. Many existing secure compiler…