Publication:
Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Execution Architectures
| dc.contributor.author | Bognar, Marton | |
| dc.contributor.author | Van Bulck, Jo | |
| dc.contributor.author | Piessens, Frank | |
| dc.date.accessioned | 2023-05-30T08:41:34Z | |
| dc.date.available | 2023-01-15T03:15:17Z | |
| dc.date.available | 2023-05-30T08:41:34Z | |
| dc.date.issued | 2022 | |
| dc.description.wosFundingText | We would like to thank the designers of the Sancus and VRASED architectures for making their systems open-source. We are grateful to Job Noorman, Thomas Van Strydonck, and the anonymous reviewers for their insightful comments on different versions of this paper. This research is partially funded by the Research Fund KU Leuven, by the Flemish Research Programme Cybersecurity, and by a gift from Intel Corporation. Jo Van Bulck is supported by a grant of the Research Foundation -Flanders (FWO). | |
| dc.identifier.doi | 10.1109/SP46214.2022.00049 | |
| dc.identifier.eisbn | 978-1-6654-1316-9 | |
| dc.identifier.issn | 1081-6011 | |
| dc.identifier.uri | https://imec-publications.be/handle/20.500.12860/40979 | |
| dc.publisher | IEEE COMPUTER SOC | |
| dc.source.beginpage | 1638 | |
| dc.source.conference | 43rd IEEE Symposium on Security and Privacy (SP) | |
| dc.source.conferencedate | MAY 23-26, 2022 | |
| dc.source.conferencelocation | San Francisco | |
| dc.source.endpage | 1655 | |
| dc.source.journal | na | |
| dc.source.numberofpages | 18 | |
| dc.subject.keywords | FORMAL VERIFICATION | |
| dc.subject.keywords | SCIENCE | |
| dc.title | Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Execution Architectures | |
| dc.type | Proceedings paper | |
| dspace.entity.type | Publication | |
| Files | ||
| Publication available in collections: |