TY  - RPRT
TI  - Security Verification of Low-Trust Architectures
AU  - Qinhan Tan
AU  - Yonathan Fisseha
AU  - Shibo Chen
AU  - Lauren Biernacki
AU  - Jean-Baptiste Jeannin
AU  - Sharad Malik
AU  - Todd Austin
PY  - 2023
DO  - 10.1145/3576915.3616643
UR  - https://arxiv.org/abs/2309.00181
ID  - 2309.00181
ER  -