EasyChair Smart Slide
An extensive formal analysis of multi-factor authentication protocols
An extensive formal analysis of multi-factor authentication protocols