The SAT-Based Automatic Searching and Experimental Verification for Differential Characteristics with Application to Midori64

Bibliographische Detailangaben

Veröffentlicht in:	ISC (25. : 2022 : Bali) Information security
1. Verfasser:	Li, Yingying (VerfasserIn)
Weitere Verfasser:	Wang, Qichun (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2022
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!