Skip to content
Sagan

Paper

AutoTam: Specifying Secure Protocol Implementations with Tamarin Model Generation

Unreadunread

AI summary

arXiv:2606. 19937v1 Announce Type: new Abstract: Formal verification is a challenging but important task for ensuring the security of cryptographic protocols.