Security Analysis of a Key Exchange Protocol under Dolev-Yao Threat Model Using Tamarin Prover. - Singam Bhargav Ram; Vanga Odelu (CCWC, 2022)