Deng, Shuwen, Gümüşoğlu, Doğuhan, Xiong, Wenjie, Sari, Sercan, Gener, Y. Serhan, Lu, Corine, Demir, Onur, and Szefer, Jakub. SecChisel Framework for Security Verification of Secure Processor Architectures. Retrieved from https://par.nsf.gov/biblio/10132055. Workshop on Hardware and Architectural Support for Security and Privacy . Web. doi:10.1145/3337167.3337174.

Deng, Shuwen, Gümüşoğlu, Doğuhan, Xiong, Wenjie, Sari, Sercan, Gener, Y. Serhan, Lu, Corine, Demir, Onur, & Szefer, Jakub. SecChisel Framework for Security Verification of Secure Processor Architectures. Workshop on Hardware and Architectural Support for Security and Privacy, (). Retrieved from https://par.nsf.gov/biblio/10132055. https://doi.org/10.1145/3337167.3337174

Deng, Shuwen, Gümüşoğlu, Doğuhan, Xiong, Wenjie, Sari, Sercan, Gener, Y. Serhan, Lu, Corine, Demir, Onur, and Szefer, Jakub. "SecChisel Framework for Security Verification of Secure Processor Architectures". Workshop on Hardware and Architectural Support for Security and Privacy (). Country unknown/Code not available. https://doi.org/10.1145/3337167.3337174. https://par.nsf.gov/biblio/10132055.

@article{osti_10132055,
place = {Country unknown/Code not available}, title = {SecChisel Framework for Security Verification of Secure Processor Architectures}, url = {https://par.nsf.gov/biblio/10132055}, DOI = {10.1145/3337167.3337174}, abstractNote = {}, journal = {Workshop on Hardware and Architectural Support for Security and Privacy}, author = {Deng, Shuwen and Gümüşoğlu, Doğuhan and Xiong, Wenjie and Sari, Sercan and Gener, Y. Serhan and Lu, Corine and Demir, Onur and Szefer, Jakub}, }