Exploits as Insecure Compilation

POPL 2020