TY - RPRT TI - An Efficient Modular Exponentiation Proof Scheme AU - Darren Li AU - Yves Gallot PY - 2023 UR - https://arxiv.org/abs/2209.15623 ID - 2209.15623 ER -