SAT-Based Automatic Searching for Differential and Linear Trails: Applying to CRAX
Saved in:
Published in | Chinese Journal of Electronics Vol. 33; no. 1; pp. 72 - 79 |
---|---|
Main Authors | , , , |
Format | Journal Article |
Language | English |
Published |
01.01.2024
|
Online Access | Get full text |
Cover
Loading…
ISSN: | 1022-4653 2075-5597 |
---|---|
DOI: | 10.23919/cje.2022.00.313 |