|
| Keyword : SAT solver
|
SAT-Based Differential Analysis of Initialization Phase of AEGIS/Tiaoxin-346/Rocca/Rocca-S
Takuro SHIRAYA Kosei SAKAMOTO Takanori ISOBE | Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2025/12/01
Vol. E108-D
No. 12 ;
pp. 1507-1525
Type of Manuscript:
Special Section PAPER (Special Section on Information and Communication System Security)
Category:
Keyword:
AEAD, differential analysis, SAT solver, | | | Summary | Full Text:PDF | |
| |
| |
| |
|
Co-scheduling of Communication and Control of Multi-Hop Control Networks
Yasuki NANAMORI Toshimitsu USHIO | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2013/05/01
Vol. E96-A
No. 5 ;
pp. 878-885
Type of Manuscript:
Special Section PAPER (Special Section on Networked Control Systems: Theories & Applications)
Category:
Keyword:
multi-hop control network, SAT solver, logical formula, scheduling, | | | Summary | Full Text:PDF | |
|
|