Efficient Proofs of Software Exploitability for Real-world Processors. - Matthew Green 001; Mathias Hall-Andersen; Eric Hennenfent; Gabriel Kaptchuk; Benjamin Perez; Gijs Van Laer (Proc. Priv. Enhancing Technol., 2023)