Efficient Proofs of Software Exploitability for Real-world Processors

0
26

Paper 2022/1223

Efficient Proofs of Software Exploitability for Real-world Processors

Matthew Green , Johns Hopkins University

Mathias Hall-Andersen , Aarhus University

Eric Hennenfent , Trail of Bits

Gabriel Kaptchuk , Boston University

Benjamin Perez , Trail of Bits

Gijs Van Laer , Johns Hopkins University

Abstract

We consider the problem of proving in zero-knowledge the existence of vulnerabilities in executables compiled to run on real-world processors. We demonstrate that it is pra…

Read More