SAT-Based Differential Analysis of Initialization Phase of AEGIS/Tiaoxin-346/Rocca/Rocca-S
/ IEICE Transactions in Information and Systems
・Vol.108
・No.12
・2025