Erik Poll, Joeri de Ruiter, Aleksy Schubert. Protocol State Machines and Session Languages: Specification, implementation, and Security Flaws. In 2015 IEEE Symposium on Security and Privacy Workshops, SPW 2015, San Jose, CA, USA, May 21-22, 2015. pages 125-133, IEEE Computer Society, 2015. [doi]
Abstract is missing.