정형 기법을 이용한 하드웨어 AES 모듈 백도어 탐색 연구
Vol. 29, No. 4, pp. 739-751,
8월.
2019
10.13089/JKIISC.2019.29.4.739, Full Text:
Keywords: hardware backdoor, formal method, model checker
Abstract Statistics
Cite this article
10.13089/JKIISC.2019.29.4.739, Full Text:
Keywords: hardware backdoor, formal method, model checker
Abstract Statistics
Cite this article
[IEEE Style]
박재현 and 김승주, "Study of Hardware AES Module Backdoor Detection through Formal Method," Journal of The Korea Institute of Information Security and Cryptology, vol. 29, no. 4, pp. 739-751, 2019. DOI: 10.13089/JKIISC.2019.29.4.739.
[ACM Style]
박재현 and 김승주. 2019. Study of Hardware AES Module Backdoor Detection through Formal Method. Journal of The Korea Institute of Information Security and Cryptology, 29, 4, (2019), 739-751. DOI: 10.13089/JKIISC.2019.29.4.739.