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 (J. Cryptogr. Eng., 2025)