Yushiro Hiramoto, Satoshi Ohtake. A Method of Hardware-Trojan Detection Using Design Verification Techniques. In Leonard Barolli, Nadeem Javaid, Makoto Ikeda, Makoto Takizawa, editors, Complex, Intelligent, and Software Intensive Systems - Proceedings of the 12th International Conference on Complex, Intelligent, and Software Intensive Systems, CISIS-2018, Matsue, Japan, 4-6 July 2018. Volume 772 of Advances in Intelligent Systems and Computing, pages 978-987, Springer, 2018. [doi]
Abstract is missing.