Automatic Discovery of User-Exploitable Vulnerabilities in Closed-Source RISC-V [pdf] | Not Hacker News!