A formal security analysis of an OSA/Parlay authentication interface
A formal security analysis of an OSA/Parlay authentication interface / R. Corin ... [et al.]