TY  - RPRT
TI  - Tamgram: A Frontend for Large-scale Protocol Modeling in Tamarin
AU  - Di Long Li
AU  - Jim de Groot
AU  - Alwen Tiu
PY  - 2024
UR  - https://arxiv.org/abs/2408.13138
ID  - 2408.13138
ER  -