From Surf Wiki (app.surf) — the open knowledge base
Tamarin Prover
Tamarin Prover is a computer software program for formal verification of cryptographic protocols. It has been used to verify Transport Layer Security 1.3, ISO/IEC 9798, DNP3 Secure Authentication v5, WireGuard, and the PQ3 Messaging Protocol of Apple iMessage.
Rendering article…
Content sourced from manual.
This content may have been generated or modified by AI, and may be sourced from third parties. CloudSurf Software LLC makes no warranties as to its accuracy, completeness, or reliability, and accepts no liability for it. Always verify important information against primary sources.
Report