Hisao Ogata, Tomoyoshi Ishikawa, Norichika Miyamoto, Tsutomu Matsumoto. Secure ATM Device Design by Control Command Verification. In V. S. Shankar Sriram, V. Subramaniyaswamy, N. Sasikaladevi, Leo Zhang, Lynn Batten, Gang Li 0009, editors, Applications and Techniques in Information Security - 10th International Conference, ATIS 2019, Thanjavur, India, November 22-24, 2019, Proceedings. Volume 1116 of Communications in Computer and Information Science, pages 32-50, Springer, 2019. [doi]
Abstract is missing.