Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code.
| Autor: | Georges, Aïna Linn1 algeorges@mpi-sws.org, Guéneau, Armaël2 armael.gueneau@inria.fr, Van Strydonck, Thomas3 thomas.vanstrydonck@cs.kuleuven.be, Timany, Amin4 timany@cs.au.dk, Trieu, Alix5 alix.trieu@ssi.gouv.fr, Devriese, Dominique3 dominique.devriese@kuleuven.be, Birkedal, Lars4 birkedal@cs.au.dk |
|---|---|
| Zdroj: | Journal of the ACM. Feb2024, Vol. 71 Issue 1, p1-59. 59p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|