Keyword:protocol verification

Papers
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 no. 79