@INPROCEEDINGS{cgUCL-PRW17,
 	AUTHOR={Pereira, Olivier and Rochet, Florentin and Wiedling, Cyrille},
	TITLE={{Formal Analysis of the Fido 1.x Protocol}},
	PUBLISHER={Springer},
	EDITOR={The 10th International Symposium on Foundations & Practice of Security},
	SERIES={Lecture Notes in Computer Science (LNCS)},
	MONTH={10},
	YEAR={2017},
}