@misc{indiciaeee4077571929,
  title = {Security Verification of Low-Trust Architectures},
  author = {Qinhan Tan and Yonathan Fisseha and Shibo Chen and Lauren Biernacki and Jean-Baptiste Jeannin and Sharad Malik and Todd Austin},
  year = {2023},
  doi = {10.1145/3576915.3616643},
  url = {https://arxiv.org/abs/2309.00181},
  note = {Source identifier: 2309.00181}
}