Protocol State Machines and Session Languages: Specification, implementation, and Security Flaws.
Erik Poll, Joeri de Ruiter, Aleksy Schubert
VenueA*SP
Year2015
ProceedingsIEEE Symposium on Security and Privacy Workshops
DBLP recordconf/sp/PollRS15 ↗
Browse the full SP paper archive.