Improved Constant-Time Modular Inversion. - Shogo Kuramoto; Atsuko Miyaji (ProvSec, 2025)