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

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

Published in: ASPLOS (2) (2024)

Keyphrases

security analysis
database systems
multiscale
multiresolution
software development
smart card
public key
high security