PROSPECT: Provably Secure Speculation for the Constant-Time Policy
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.identifier.issn | N/A | |
dc.identifier.other | WOS:001066451507022 | |
dc.identifier.uri | https://imec-publications.be/handle/20.500.12860/43355.2 | |
dc.source | WOS | |
dc.title | PROSPECT: Provably Secure Speculation for the Constant-Time Policy | |
dc.type | Proceedings paper | |
dc.identifier.eisbn | 978-1-939133-37-3 | |
dc.source.numberofpages | 18 | |
dc.source.peerreview | yes | |
dc.source.beginpage | 7161 | |
dc.source.endpage | 7178 | |
dc.source.conference | 32nd USENIX Security Symposium | |
dc.source.conferencedate | AUG 09-11, 2023 | |
dc.source.conferencelocation | Anaheim | |
dc.source.journal | N/A | |
imec.availability | Published - imec | |
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. |
Files in this item
Files | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |