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]
@inproceedings{DengG0SGLDS19,
title = {SecChisel Framework for Security Verification of Secure Processor Architectures},
author = {Shuwen Deng and Doguhan Gümüsoglu and Wenjie Xiong 0001 and Sercan Sari and Y. Serhan Gener and Corine Lu and Onur Demir and Jakub Szefer},
year = {2019},
doi = {10.1145/3337167.3337174},
url = {https://doi.org/10.1145/3337167.3337174},
researchr = {https://researchr.org/publication/DengG0SGLDS19},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 8th International Workshop on Hardware and Architectural Support for Security and Privacy, HASP@ISCA 2019, June 23, 2019},
publisher = {ACM},
isbn = {978-1-4503-7226-8},
}