Tianwei Zhang 0004, Jakub Jakub, Ruby B. Lee. Practical and Scalable Security Verification of Secure Architectures. In HASP '21: Workshop on Hardware and Architectural Support for Security and Privacy, Virtual Event, 18 October 2021. ACM, 2021. [doi]
Abstract is missing.