1. Lecture Notes in Computer Science;DJ Bernstein,2017
2. Bernstein, D.J., et al.: Gimli 20190329 (2019). https://csrc.nist.gov/Projects/Lightweight-Cryptography/Round-2-Candidates
3. Bertoni, G., Peeters, M., Van Assche, G., others: The keccak reference (2011). http://keccak.noekeon.org
4. Biere, A.: CADICAL at the SAT Race 2019 (2019). https://github.com/arminbiere/cadical
5. Biham, E., Shamir, A.: Differential cryptanalysis of DES-like cryptosystems. J. Cryptol. 4(1), 3–72 (1991). https://doi.org/10.1007/BF00630563