Certifying Trapdoor Permutations, Revisited. - Ran Canetti; Amit Lichtenberg (IACR Cryptol. ePrint Arch., 2017)