Publication:

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

Date

2018
Proceedings Paper
Simple item page Full metadata Statistics
 
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.embargo9999-12-31
dc.date.issued2018
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/31807
dc.identifier.urlhttps://doi.org/10.1007/978-3-319-89884-1_17
dc.source.beginpage475
dc.source.conferenceEuropean Symposium on Programming - ESOP
dc.source.conferencedate14/04/2018
dc.source.conferencelocationThessaloniki Greece
dc.source.endpage501
dc.title

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

dc.typeProceedings paper
dspace.entity.typePublication
Files

Original bundle

Name:
42449.pdf
Size:
1.22 MB
Format:
Adobe Portable Document Format
Download
Publication available in collections:
Conference contributions