5 citations · 19 across the 16 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.CR2026
From Specs to Apps: Verifying and Monitoring Models of Signal and WhatsApp
Moustafa Said, Aurora Naska, Kevin Morio +1
The Signal protocol is a prominent messaging protocol that secures communication for billions of users. It powers WhatsApp, the most widely used messaging application worldwide, an…
cs.CR2026
Accountability in Certificate Transparency and Variants
Timo Treitz, Robert Künnemann
Certificate Transparency (CT) aims to reduce the trust required in Certificate Authorities (CAs) within the TLS certificate ecosystem. It is supported by all major browsers. The pr…
cs.CR2026
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…