Optimization of the algorithm to compute the guaranteed number of activations in sfXS-circuits and its application to the analysis of block ciphers.

Denis Parfenov Aleksandr Bakharev Aleksandr Kutsenko Aleksandr Belov Natalia Atutova Optimization of the algorithm to compute the guaranteed number of activations in sfXS-circuits and its application to the analysis of block ciphers. 4 2025 April 15 J. Cryptogr. Eng. 1 https://doi.org/10.1007/s13389-025-00374-8 db/journals/jce/jce15.html#ParfenovBKBA25 streams/journals/jce