Formal Analysis of Non-profiled Deep-learning Based Side-channel Attacks. - Akira Ito 002; Rei Ueno; Rikuma Tanaka; Naofumi Homma (IACR Cryptol. ePrint Arch., 2023)