F

fido_proverif

ProVerif code modelling the Fido protocol