A Sound Translation from Tamarin to ProVerif: Enabling Comparative Analysis

Kevin Morio, Yavor Ivanov, Robert Künnemann

Tamarin and ProVerif are two prominent tools for the formal verification of security protocols. They share the same high-level goal but differ significantly in their underlying for…