Keyword:protocol verification

Publications
Scaling CheckMate for Game-Theoretic Security Sophie Rain, Lea Salome Brugger, Anja Petković Komel, Laura Kovács and Michael Rawson In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Formal veriﬁcation of the YubiKey and YubiHSM APIs in Maude-NPA Antonio González-Burgueño, Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows and José Meseguer In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
An extensive formal analysis of multi-factor authentication protocols Charlie Jacomme and Steve Kremer EasyChair Preprint 79