Efficient proofs of software exploitability for real-world processors

Files
popets-2023-0036.pdf(848.64 KB)
Published version
Date
2023-07-25
DOI
10.56553/popets-2023-0036
Authors
Kaptchuk, Gabriel
Van Laer, Gijs
Green, Matthew
Hennenfent, Eric
Hall-Andersen, Mathias
Version
Published version
URI
https://hdl.handle.net/2144/46955
OA Version
Citation
G. Kaptchuk, G. Van Laer, M. Green, E. Hennenfent, M. Hall-Andersen. 2023. "Efficient Proofs of Software Exploitability for Real-world Processors." Privacy Enhancing Technologies Symposium.
Abstract
Description
License
This work is licensed under the Creative Commons Attribution 4.0 International License. To view a copy of this license visit https://creativecommons.org/licenses/by/4.0/ or send a letter to Creative Commons, PO Box 1866, Mountain View, CA 94042, USA. Proceedings on Privacy Enhancing Technologies 2023(1), 627–640 © 2023 Copyright held by the owner/author(s). https://doi.org/10.56553/popets-2023-0036
cb
Collections
BU Open Access Articles