Yuiko Matsubara, Daiki Miyahara, Yohei Watanabe, Mitsugu Iwamoto, and Kazuo Sakiyama, “Abstraction Model of Probing and DFA Attacks on Block Ciphers,” Cryptology ePrint Archive, Report 2023/443, 2023.