Description
Provides export support from processes in the Sapic calculus to the ProVerif calculus for Tamarin-related workflows. This helps move protocol models between formal verification tools.
It is useful for security-protocol researchers who compare or reuse models across verification systems. It is a specialized developer library and depends on the surrounding prover toolchain.