Akira Ito, Rei Ueno, Naofumi Homma, Takafumi Aoki. A Non-Reversible Insertion Method for Hardware Trojans Based on Path Delay Faults. In Lejla Batina, Ulrich Kühne, Nele Mentens, editors, PROOFS 2018, 7th International Workshop on Security Proofs for Embedded Systems, colocated with CHES 2018, Amsterdam, The Netherlands, September 13, 2018. Volume 7 of Kalpa Publications in Computing, pages 50-67, EasyChair, 2018. [doi]