[ACM Press the 8th International Workshop - Phoenix, AZ, USA (2019.06.23-2019.06.23)] Proceedings of the 8th International Workshop on Hardware and Architectural Support for Security and Privacy - HASP '19 - SecChisel Framework for Security Verification of Secure Processor Architectures
Deng, Shuwen, Gümüşoğlu, Doğuhan, Xiong, Wenjie, Sari, Sercan, Gener, Y. Serhan, Lu, Corine, Demir, Onur, Szefer, JakubYear:
2019
Language:
english
DOI:
10.1145/3337167.3337174
File:
PDF, 991 KB
english, 2019