Publication:
PROSPECT: Provably Secure Speculation for the Constant-Time Policy
Date
| dc.contributor.author | Daniel, Lesly-Ann | |
| dc.contributor.author | Bognar, Marton | |
| dc.contributor.author | Noorman, Job | |
| dc.contributor.author | Bardin, Sebastien | |
| dc.contributor.author | Rezk, Tamara | |
| dc.contributor.author | Piessens, Frank | |
| dc.date.accessioned | 2024-05-22T09:20:10Z | |
| dc.date.available | 2024-01-08T17:18:50Z | |
| dc.date.available | 2024-05-22T09:20:10Z | |
| dc.date.issued | 2023 | |
| dc.description.wosFundingText | We are grateful for the valuable feedback of our shepherd and the other reviewers, which helped us improve our paper. This research was partially funded by the ORSHIN project (Horizon Europe grant agreement No. 101070008) and the Flemish Research Programme Cybersecurity. It has also received funding from ANR TAVA, Carnot Flexsecurity, and PEPR Cyber/Secureval. | |
| dc.identifier.eisbn | 978-1-939133-37-3 | |
| dc.identifier.issn | N/A | |
| dc.identifier.uri | https://imec-publications.be/handle/20.500.12860/43355 | |
| dc.publisher | USENIX ASSOC | |
| dc.source.beginpage | 7161 | |
| dc.source.conference | 32nd USENIX Security Symposium | |
| dc.source.conferencedate | AUG 09-11, 2023 | |
| dc.source.conferencelocation | Anaheim | |
| dc.source.endpage | 7178 | |
| dc.source.journal | N/A | |
| dc.source.numberofpages | 18 | |
| dc.title | PROSPECT: Provably Secure Speculation for the Constant-Time Policy | |
| dc.type | Proceedings paper | |
| dspace.entity.type | Publication | |
| Files | ||
| Publication available in collections: |