Compass: Navigating the Design Space of Taint Schemes for RTL Security Verification.

Yuheng Yang, Qinhan Tan, Thomas Bourgeat, Sharad Malik, Mengjia Yan

Browse the full ASPLOS paper archive.