Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code
dc.contributor.author | Georges, Aina Linn | |
dc.contributor.author | Gueneau, Armael | |
dc.contributor.author | Van Strydonck, Thomas | |
dc.contributor.author | Timany, Amin | |
dc.contributor.author | Trieu, Alix | |
dc.contributor.author | Devriese, Dominique | |
dc.contributor.author | Birkedal, Lars | |
dc.date.accessioned | 2024-05-30T10:10:41Z | |
dc.date.available | 2024-04-15T17:21:09Z | |
dc.date.available | 2024-05-30T10:10:41Z | |
dc.date.issued | 2024 | |
dc.identifier.issn | 0004-5411 | |
dc.identifier.other | WOS:001193503800003 | |
dc.identifier.uri | https://imec-publications.be/handle/20.500.12860/43843.2 | |
dc.source | WOS | |
dc.title | Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code | |
dc.type | Journal article | |
dc.identifier.doi | 10.1145/3623510 | |
dc.source.numberofpages | 59 | |
dc.source.peerreview | yes | |
dc.source.beginpage | Art. 3 | |
dc.source.endpage | N/A | |
dc.source.journal | JOURNAL OF THE ACM | |
dc.source.issue | 1 | |
dc.source.volume | 71 | |
imec.availability | Published - imec | |
dc.description.wosFundingText | This work was supported in part by a Villum Investigator grant (no. 25804), Center for Basic Research in Program Verification (CPV), from the VILLUM Foundation; by the Research Foundation -Flanders (FWO); by DFF project 6108-00363 from The Danish Council for Independent Research for the Natural Sciences (FNU); by the Air Force Office of Scientific Research under award number FA9550-21-1-0054, by the Research Fund KU Leuven; and by the Flemish Research Programme Cybersecurity. Thomas Van Strydonck held a Research Fellowship of the Research Foundation -Flanders (FWO) during the work on this project. Amin Timany was postdoctoral fellow of the Flemish Research Foundation (FWO) during parts of this project. |
Files in this item
Files | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |