Fingeraftryk
Dyk ned i forskningsemnerne om 'Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
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
Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review
2
Citationer
(Scopus)