HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Steve Kremer

Publications
An extensive formal analysis of multi-factor authentication protocols
Charlie Jacomme and Steve Kremer
EasyChair Preprint 79

Keyphrases

Authentication, automated verification, formal analysis, multi-factor, protocol verification.

Copyright © 2012-2025 easychair.org. All rights reserved.