Sylwia Stachowiak, Miroslaw Kurkowski, Artur Sobon. SAT vs. Substitution Boxes of DES like Ciphers. In 30th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2021, Bayonne, France, October 27-29, 2021. pages 113-118, IEEE, 2021. [doi]
Abstract is missing.