T. Starushenko, “An Entropy Leakage Algebra for IEEE 754 Floating-Point Cryptographic Computations”, МІА, vol. 69, pp. 73-81, Mar. 2026.