Crypto_Standards.Efficient_Mod_Exp