Roberto van Eeden

According to our database, Roberto van Eeden authored at least 2 papers in 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Matteo Paier, Roberto van Eeden, Marino Miculan

Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024

A Formal Analysis of CIE Level 2 Multi-Factor Authentication via SMS OTP.

Roberto van Eeden, Matteo Paier, Marino Miculan

Proceedings of the 21st International Conference on Security and Cryptography, 2024