Honest Users Make Honest Mistakes: A Framework for Analysing eID Protocols. - Ole Martin Edstrøm; Kristian Gjøsteen; Hans Heum; Sjouke Mauw; Felix Stutz (IACR Cryptol. ePrint Arch., 2025)