Automating Fast and Secure Translations from Type-I to Type-III Pairing Schemes