Show simple item record

Automatically generating secure wrappers for SGX enclaves from separation logic specifications

dc.contributor.authorVan Ginkel, Neline
dc.contributor.authorStrackx, Raoul
dc.contributor.authorPiessens, Frank
dc.date.accessioned2021-10-24T16:08:43Z
dc.date.available2021-10-24T16:08:43Z
dc.date.issued2017
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/29684
dc.sourceIIOimport
dc.titleAutomatically generating secure wrappers for SGX enclaves from separation logic specifications
dc.typeProceedings paper
dc.date.embargo9999-12-31
dc.source.peerreviewyes
dc.source.beginpage105
dc.source.endpage123
dc.source.conferenceAsian Symposium on Programming Languages and Systems - APLAS
dc.source.conferencedate27/11/2017
dc.source.conferencelocationSuzhou China
dc.identifier.urlhttps://link.springer.com/chapter/10.1007/978-3-319-71237-6_6
imec.availabilityPublished - open access
imec.internalnotesLecture Notes in Computer Science book series; Vol. LNCS 10695


Files in this item

Thumbnail
Name:
41204.pdf
Size:
1.058Mb
Format:
PDF
View/open

This item appears in the following collection(s)

Show simple item record