Qiqing Xia

A Quantum Automatic Tool for Finding Impossible Differentials

2024 · arXiv (Cornell University)

Due to the superiority of quantum computing, traditional cryptography is facing severe threat. This makes the security evaluation of cryptographic systems in quantum attack models significant and urgent. For symmetric ciphers, the security analysis heavily …