SecChisel Framework for Security Verification of Secure Processor Architectures.

Shuwen Deng, Doguhan Gmsoglu, Wenjie Xiong, Sercan Sari, Y. Serhan Gener, Corine Lu, Onur Demir, Jakub Szefer

Browse the full ISCA paper archive.