Browsing by author "Van Strydonck, Thomas"
Now showing items 1-1 of 1
-
Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code
Georges, Aina Linn; Gueneau, Armael; Van Strydonck, Thomas; Timany, Amin; Trieu, Alix; Devriese, Dominique; Birkedal, Lars (2024)