1 paper
Dar-jen Chang, Suranjan Gautam
This paper proposes an alternative approach to formally establishing the correctness of the RSA public key cryptosystem. The methodology presented herein deviates slightly from con…