Tamarin

Named by 4 kept items in this workspace.

2 items name it under classification.key entities and 2 under tools.

Search every workspace for Tamarin. It matches the name as written, so it can find other things that share it.

The items that name it 4

Stop Calling Them Provers: The Case for Calling ProVerif and Tamarin Symbolic Protocol Analyzers
paperas tools2026-10-29
Symbolic protocol analyzer. The paper says it replays its proof tree with its own solver, so that code is still trusted, and that previously reported bugs make it accept false claims about submitted models.
VeilDNS: Post-Quantum DNS Privacy from the First UDP Packet
paperas classification.key entities2026-10-24
Approve What, Exactly? Effect Binding and Trusted Rendering for Agent Step-Up Authorization
paperas classification.key entities2026-10-15
Post-Quantum Certificate-Based PSK Provisioning for WireGuard via Mutual TLS, DTLS, and QUIC: Design and Performance Study
paperas tools2026-10-14It is written here as Tamarin (symbolic model of the composition layer; analyzes secrecy, binding, and provisioning-order properties between TLS 1.3 handshake and WireGuard).
symbolic model of the composition layer; analyzes secrecy, binding, and provisioning-order properties between TLS 1.3 handshake and WireGuard

All technologies in this workspace.