Kaptchuk, GabrielVan Laer, GijsGreen, MatthewHennenfent, EricHall-Andersen, Mathias2023-10-132023-10-132023-07-25G. 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.https://hdl.handle.net/2144/46955This 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-0036https://creativecommons.org/licenses/by/4.0/Conference materials2023-02-2810.56553/popets-2023-0036817766