Our paper Formal modelling and verifying eIDAS multi-factor authentication with interface-based threat analysis, by Matteo Paier, Roberto Van Eeden and Marino Miculan, has been published in Software and Systems Modeling (Springer).

The paper extends our previous work on the formal analysis of multi-factor authentication in digital identity cards, which received the Best Paper Award at SEFM 2024.