Lifting Micro-Update Models from RTL for Formal Security Analysis.

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

Browse the full ASPLOS paper archive.