60 citations · 119 across the 21 of their papers we have counts for
1 paper · 1 filter
Marco Patrignani, Dominique Devriese, Frank Piessens
Secure compilation studies compilers that generate target-level components that are as secure as their source-level counterparts. Full abstraction is the most widely-proven propert…