A context analysis method for constructing reliable embedded systems. - Naoyasu Ubayashi; Toshiki Seto; Hirotoshi Kanagawa; Susumu Taniguchi; Jun Yoshida; Takeshi Sumi; Masayuki Hirayama (MiSE, 2008)

On Preventing Symbolic Execution Attacks by Low Cost Obfuscation. - Toshiki Seto; Akito Monden; Zeynep Yücel; Yuichiro Kanzaki (SNPD, 2019)