Browser does not support script.
McMahon Stone, Christopher (2021). Automated analysis of security protocol implementations. University of Birmingham. Ph.D.