| Finding Bit-Based Division Property for Ciphers with Complex Linear Layers |
| English |
| Hu, Kai [Shandong University - SDU] |
| Wang, Qingju [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >] |
| Wang, Meiqin [Shandong University - SDU] |
| Feb-2020 |
| IACR Transactions on Symmetric Cryptology |
| International Association for Cryptologic Research |
| 1 |
| Yes |
| International |
| 2519-173X |
| [en] Division Property ; automatic search ; SAT |
| Interdisciplinary Centre for Security, Reliability and Trust (SnT) > CryptoLUX |
| UL |
| FDISC |
| Researchers ; Professionals |
| http://hdl.handle.net/10993/42849 |