A Formal Analysis for RSA Attacks by Term Rewriting Systems. - Mohammad Kadkhoda; Anis Vosoogh; Reza Nourmandi-Pour (SOFA (1), 2014)