Fingerprint
Dive into the research topics of 'Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code
Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Amin Timany, Alix Trieu, Dominique Devriese, Lars Birkedal
Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
2
Citations
(Scopus)