Show simple item record

Reasoning about a capability machine with local capabilities - provably safe stack and return pointer management (without OS support)

dc.contributor.authorSkorstengaard, Lau
dc.contributor.authorDevriese, Dominique
dc.contributor.authorBirkedal, Lars
dc.date.accessioned2021-10-26T04:09:33Z
dc.date.available2021-10-26T04:09:33Z
dc.date.issued2018
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/31807
dc.sourceIIOimport
dc.titleReasoning about a capability machine with local capabilities - provably safe stack and return pointer management (without OS support)
dc.typeProceedings paper
dc.date.embargo9999-12-31
dc.source.peerreviewyes
dc.source.beginpage475
dc.source.endpage501
dc.source.conferenceEuropean Symposium on Programming - ESOP
dc.source.conferencedate14/04/2018
dc.source.conferencelocationThessaloniki Greece
dc.identifier.urlhttps://doi.org/10.1007/978-3-319-89884-1_17
imec.availabilityPublished - open access
imec.internalnotesLecture Notes in Computer Science; Vol. LNCS 10801


Files in this item

Thumbnail
Name:
42449.pdf
Size:
1.219Mb
Format:
PDF
View/open

This item appears in the following collection(s)

Show simple item record