Yuheng Yang, Qinhan Tan, Thomas Bourgeat, Sharad Malik, Mengjia Yan 0001. Compass: Navigating the Design Space of Taint Schemes for RTL Security Verification. In Benjamin C. Lee, Harry Xu 0001, Mark Silberstein, Bingyao Li, editors, Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2, ASPLOS 2026, Pittsburgh, PA, USA, March 22-26, 2026. pages 442-458, ACM, 2026. [doi]
Abstract is missing.