Proving full-system security properties under multiple attacker models on capability machines

Thomas Van Strydonck, Aïna Linn Georges, Armaël Guéneau, Alix Trieu, Amin Timany, Frank Piessens, Lars Birkedal, Dominique Devriese. Proving full-system security properties under multiple attacker models on capability machines. In 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022. pages 80-95, IEEE, 2022. [doi]

Abstract

Abstract is missing.