SAT-Based Differential Analysis of Initialization Phase of AEGIS/Tiaoxin-346/Rocca/Rocca-S
['Takuro SHIRAYA', 'Kosei SAKAMOTO', 'Takanori ISOBE']
/
IEICE Transactions in Information and Systems
/ Vol. 108
/ No. 12