Sonia C-I Chen JYXTCL. A Novel Mathematical Formal Proof in Zhang-Wang’s Cryptographic Algorithm. converter [Internet]. 2021Jul.10 [cited 2026Sep.20];:449-58. Available from: https://mail.converter-magazine.info/index.php/converter/article/view/143