When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise.

Carmine Abate, Arthur Azevedo de Amorim, Roberto Blanco, Ana Nora Evans, Guglielmo Fachini, Catalin Hritcu, Tho Laurent, Benjamin C. Pierce, Marco Stronati, Andrew Tolmach

Browse the full CCS paper archive.