@misc{cryptoeprint:2017:193,
    author = {Shuwen Deng and Do\u{g}uhan G\"{u}m\"{u}\c{s}o\u{g}lu and Wenjie Xiong and Y. Serhan Gener and Onur Demir and Jakub Szefer},
    title = {SecChisel: Language and Tool for Practical and Scalable Security Verification of Security-Aware Hardware Architectures},
    howpublished = {Cryptology ePrint Archive, Report 2017/193},
    year = {2017},
    url = {https://eprint.iacr.org/2017/193},
}