Lifting Micro-Update Models from RTL for Formal Security Analysis
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2 (2024) - Comments
doi: 10.1145/3620665.3640418 

Adwait Godbole, Kevin Cheang, Yatin A. Manerkar, Sanjit A. Seshia