Cryptol을 이용한 국내 표준 블록 암호 모듈의 자동 정형 검증
Vol. 28, No. 1, pp. 53-60,
2월.
2018
10.13089/JKIISC.2018.28.1.53, Full Text:
Keywords: formal, Verification, cryptography, cryptol, saw
Abstract Statistics
Cite this article
10.13089/JKIISC.2018.28.1.53, Full Text:
Keywords: formal, Verification, cryptography, cryptol, saw
Abstract Statistics
Cite this article
[IEEE Style]
W. Choi and S. Kim, "Automated Formal Verification of Korean Standard Block Cipher Using Cryptol," Journal of The Korea Institute of Information Security and Cryptology, vol. 28, no. 1, pp. 53-60, 2018. DOI: 10.13089/JKIISC.2018.28.1.53.
[ACM Style]
Won-bin Choi and Seung-joo Kim. 2018. Automated Formal Verification of Korean Standard Block Cipher Using Cryptol. Journal of The Korea Institute of Information Security and Cryptology, 28, 1, (2018), 53-60. DOI: 10.13089/JKIISC.2018.28.1.53.