Shuwen Deng, Doguhan Gümüsoglu, Wenjie Xiong 0001, Sercan Sari, Y. Serhan Gener, Corine Lu, Onur Demir, Jakub Szefer. SecChisel Framework for Security Verification of Secure Processor Architectures. In Proceedings of the 8th International Workshop on Hardware and Architectural Support for Security and Privacy, HASP@ISCA 2019, June 23, 2019. ACM, 2019. [doi]
Abstract is missing.