Digital Library


Search: "[ keyword: formal method ]" (1)
    정형 기법을 이용한 하드웨어 AES 모듈 백도어 탐색 연구
    박재현, 김승주, Vol. 29, No. 4, pp. 739-751, 8월. 2019
    10.13089/JKIISC.2019.29.5.739
    주제어: hardware backdoor, formal method, model checker, hardware backdoor, formal method, model checker