Shuwen Deng, Doguhan Gümüsoglu, Wenjie Xiong, Y. Serhan Gener, Onur Demir, Jakub Szefer. SecChisel: Language and Tool for Practical and Scalable Security Verification of Security-Aware Hardware Architectures. IACR Cryptology ePrint Archive, 2017:193, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.