A Sound Translation from Tamarin to ProVerif: Enabling Comparative Analysis | Digital Library | PAMCET | PAMCET