Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code von Georges, Aïna Linn, Guéneau, Armaël, Van Strydonck, Thomas, Timany, Amin, Trieu, Alix, Devriese, Dominique, Birkedal, Lars

Volltext

Le temps des cerises: efficient temporal stack safety on capability machines using directed capabilities von Georges, Aïna Linn, Trieu, Alix, Birkedal, Lars

Volltext

Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code von Georges, Aïna Linn, Guéneau, Armaël, Van Strydonck, Thomas, Timany, Amin, Trieu, Alix, Devriese, Dominique, Birkedal, Lars

Volltext

Iris-Wasm: Robust and Modular Verification of WebAssembly Programs von Rao, Xiaojia, Georges, Aïna Linn, Legoupil, Maxime, Watt, Conrad, Pichon-Pharabod, Jean, Gardner, Philippa, Birkedal, Lars

Volltext

Efficient and provable local capability revocation using uninitialized capabilities von Georges, Aïna Linn, Guéneau, Armaël, Van Strydonck, Thomas, Timany, Amin, Trieu, Alix, Huyghebaert, Sander, Devriese, Dominique, Birkedal, Lars

Volltext

Iris-MSWasm: Elucidating and Mechanising the Security Invariants of Memory-Safe WebAssembly von Legoupil, Maxime, Rousseau, June, Georges, Aïna Linn, Pichon-Pharabod, Jean, Birkedal, Lars

Volltext

Proving full-system security properties under multiple attacker models on capability machines von Van Strydonck, Thomas, Georges, Aïna Linn, Gueneau, Armaël, Trieu, Alix, Timany, Amin, Piessens, Frank, Birkedal, Lars, Devriese, Dominique

Volltext

SECOMP: Formally Secure Compilation of Compartmentalized C Programs von Thibault, Jérémy, Blanco, Roberto, Lee, Dongjae, Argo, Sven, de Amorim, Arthur Azevedo, Georges, Aïna Linn, Hritcu, Catalin, Tolmach, Andrew

Volltext bestellen

SECOMP: Formally Secure Compilation of Compartmentalized C Programs von Thibault, Jérémy, Blanco, Roberto, Lee, Dongjae, Argo, Sven, Azevedo de Amorim, Arthur, Aïna Linn Georges, Hritcu, Catalin, Tolmach, Andrew

Volltext

LINCX: A Linear Logical Framework with First-Class Contexts von Georges, Aina Linn, Murawska, Agata, Otis, Shawn, Pientka, Brigitte

Volltext

Efficient and Provable Local Capability Revocation using Uninitialized Capabilities von Georges, Aina Linn, Gueneau, Armael, Van Strydonck, Thomas, Timany, Amin, Trieu, Alix, Huyghebaert, Sander, Devriese, Dominique, Birkedal, Lars

Volltext bestellen