T. M. C. Le, X. T. Pham, and V. T. Le, “Advancing Security Protocol Verification: A Comparative Study of Scyther, Tamarin”, JTE, vol. 19, no. Special Issue 01, pp. 43–53, Feb. 2024.