Ram, S. B., & Odelu, V. . (2022). Security Analysis of a Key Exchange Protocol under Dolev-Yao Threat Model Using Tamarin Prover. In (pp. 0667–0672). Las Vegas, NV, USA: IEEE. http://doi.org/10.1109/CCWC54503.2022.9720852 (Original work published 2024)