Hakuei Sugimoto, Ryota Hatano, Natsu Shoji, and Kazuo Sakiyama, “Validating the DFA Attack Resistance of AES (Short Paper),” In Proc. International Symposium on Foundations & Practice of Security (FPS’19), LNCS 12056, Springer-Verlag, pp.371–378 (Nov., 2019).