Yingying Li, Qichun Wang. The SAT-Based Automatic Searching and Experimental Verification for Differential Characteristics with Application to Midori64. In Willy Susilo, Xiaofeng Chen 0001, Fuchun Guo, Yudi Zhang 0001, Rolly Intan, editors, Information Security - 25th International Conference, ISC 2022, Bali, Indonesia, December 18-22, 2022, Proceedings. Volume 13640 of Lecture Notes in Computer Science, pages 153-161, Springer, 2022. [doi]
Abstract is missing.