Research project, ETH Zürich, Spring 2025
Supervised by Prof. Dr. David Basin and Dr. Ralf Sasse
Summary
Building on a previously created Tamarin model of the FIDO2 protocol, this project explores the implications of inexperienced users making errors in the execution of the protocol. This new approach is combined with a redefined model of agent compromise that focuses more clearly on the user’s view of the protocol.