Formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards.

Matteo Paier, Roberto van Eeden, Marino Miculan

Browse the full SEFM paper archive.