This page shows all presentations of this author published in EasyChair Smart Slide.
An extensive formal analysis of multi-factor authentication protocols
Charlie Jacomme and Steve Kremer