Automated analysis of security protocol implementations. - Christopher McMahon Stone (2021)