@inproceedings{tan-2023-security, series={CCS ’23}, title={Security Verification of Low-Trust Architectures}, url={http://dx.doi.org/10.1145/3576915.3616643}, DOI={10.1145/3576915.3616643}, booktitle={Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security}, publisher={ACM}, author={Tan, Qinhan and Fisseha, Yonathan and Chen, Shibo and Biernacki, Lauren and Jeannin, Jean-Baptiste and Malik, Sharad and Austin, Todd}, year={2023}, month=Nov, pages={945–959}, collection={CCS ’23} }