SecChisel: Language and Tool for Practical and Scalable Security Verification of Security-Aware Hardware Architectures. - Shuwen Deng; Doguhan Gümüsoglu; Wenjie Xiong 001; Y. Serhan Gener; Onur Demir; Jakub Szefer (IACR Cryptol. ePrint Arch., 2017)

SecChisel Framework for Security Verification of Secure Processor Architectures. - Shuwen Deng; Doguhan Gümüsoglu; Wenjie Xiong 001; Sercan Sari; Y. Serhan Gener; Corine Lu; Onur Demir; Jakub Szefer (HASP@ISCA, 2019)