PubPeer
The online Journal club
login
create account
Home
Publications
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
Go to article
Go to preprint
Comments awaiting moderation ({{totalComments}})
Review last reports ({{totalReports}})
Review last email suggestions ({{totalPendingEmails}})
Last month's whitelisted comments ({{totalWhitelistedComments}})