%0 Journal Article %1 journals/iacr/DengGXGDS17 %A Deng, Shuwen %A Gümüsoglu, Doguhan %A Xiong, Wenjie %A Gener, Y. Serhan %A Demir, Onur %A Szefer, Jakub %D 2017 %J IACR Cryptology ePrint Archive %K dblp %P 193 %T SecChisel: Language and Tool for Practical and Scalable Security Verification of Security-Aware Hardware Architectures. %U http://dblp.uni-trier.de/db/journals/iacr/iacr2017.html#DengGXGDS17 %V 2017

@article{journals/iacr/DengGXGDS17, added-at = {2019-03-27T00:00:00.000+0100}, author = {Deng, Shuwen and Gümüsoglu, Doguhan and Xiong, Wenjie and Gener, Y. Serhan and Demir, Onur and Szefer, Jakub}, biburl = {https://www.bibsonomy.org/bibtex/211f65e589da118211ab9b12bd9093d56/dblp}, ee = {http://eprint.iacr.org/2017/193}, interhash = {9866772183f707bd9789129ede54428e}, intrahash = {11f65e589da118211ab9b12bd9093d56}, journal = {IACR Cryptology ePrint Archive}, keywords = {dblp}, pages = 193, timestamp = {2019-03-28T11:38:09.000+0100}, title = {SecChisel: Language and Tool for Practical and Scalable Security Verification of Security-Aware Hardware Architectures.}, url = {http://dblp.uni-trier.de/db/journals/iacr/iacr2017.html#DengGXGDS17}, volume = 2017, year = 2017 }