SECOMP: Formally Secure Compilation of Compartmentalized C Programs.

Jrmy Thibault, Roberto Blanco, Dongjae Lee, Sven Argo, Arthur Azevedo de Amorim, Ana Linn Georges, Catalin Hritcu, Andrew Tolmach

Browse the full CCS paper archive.