TY  - RPRT
TI  - AutoTam: Specifying Secure Protocol Implementations with Tamarin Model Generation
AU  - Johannes Wilson
AU  - Mikael Asplund
AU  - Niklas Johansson
PY  - 2026
UR  - https://arxiv.org/abs/2606.19937
ID  - 2606.19937
ER  -