Combining ProVerif and Automated Theorem Provers for Security Protocol Verification. - Di Long Li; Alwen Tiu (CADE, 2019)

Tamgram: A Frontend for Large-scale Protocol Modeling in Tamarin. - Di Long Li; Jim de Groot; Alwen Tiu (CoRR, 2024)