Signal2026-08-07
arXiv

A Sound Translation from Tamarin to ProVerif: Enabling Comparative Analysis

Part of

Application Security And Cryptographic Innovations

Open primary sourceSee the whole picture