%0 Conference Paper %1 conf/isca/DengG0SGLDS19 %A Deng, Shuwen %A Gümüsoglu, Doguhan %A Xiong, Wenjie %A Sari, Sercan %A Gener, Y. Serhan %A Lu, Corine %A Demir, Onur %A Szefer, Jakub %B HASP@ISCA %D 2019 %I ACM %K dblp %P 7:1-7:8 %T SecChisel Framework for Security Verification of Secure Processor Architectures. %U http://dblp.uni-trier.de/db/conf/isca/hasp2019.html#DengG0SGLDS19 %@ 978-1-4503-7226-8

@inproceedings{conf/isca/DengG0SGLDS19, added-at = {2024-05-07T00:00:00.000+0200}, author = {Deng, Shuwen and Gümüsoglu, Doguhan and Xiong, Wenjie and Sari, Sercan and Gener, Y. Serhan and Lu, Corine and Demir, Onur and Szefer, Jakub}, biburl = {https://www.bibsonomy.org/bibtex/21468dc1fe70fe334273ce419c7234851/dblp}, booktitle = {HASP@ISCA}, crossref = {conf/isca/2019hasp}, ee = {https://doi.org/10.1145/3337167.3337174}, interhash = {558217434c3293c1cb63f684df649d06}, intrahash = {1468dc1fe70fe334273ce419c7234851}, isbn = {978-1-4503-7226-8}, keywords = {dblp}, pages = {7:1-7:8}, publisher = {ACM}, timestamp = {2024-05-13T09:42:04.000+0200}, title = {SecChisel Framework for Security Verification of Secure Processor Architectures.}, url = {http://dblp.uni-trier.de/db/conf/isca/hasp2019.html#DengG0SGLDS19}, year = 2019 }