@inproceedings{zhang2021practical, author={Tianwei Zhang and Jakub Szefer and Ruby B. Lee}, title={Practical and Scalable Security Verification of Secure Architectures}, booktitle={Proceedings of the Workshop on Hardware and Architectural Support for Security and Privacy}, series={HASP}, year={2021}, month={October}, }