SAT-Based Automatic Searching for Differential and Linear Trails: Applying to CRAX.
| Autor: | Yiyi HAN, Caibing WANG, Zhongfeng NIU, Lei HU |
|---|---|
| Zdroj: | Chinese Journal of Electronics; Jan2024, Vol. 33 Issue 1, p72-79, 8p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|