INSIGHT: Automatic Generation of Explanations for Efficient Identification of Hardware Bugs and Underspecifications

Published in IEEE S&P, 2026

Recommended citation: Vincent Q. Ulitzsch, Alessandro Bertani, Peter W. Deutsch, David Langus Rodriguez, Kelly Xu, Aarti Gupta, Sharad Malik, and Mengjia Yan. 2026. INSIGHT: Automatic Generation of Explanations for Efficient Identification of Hardware Bugs and Underspecifications. In the Proceedings of the 47th IEEE Symposium on Security and Privacy (S&P '26) [PDF]