User Identification Procedures with Human Mutations: Formal Analysis and Pilot Study (Extended Version)

Megha Quamara, Luca Vigano

User identification procedures, essential to the information security of systems, enable system-user interactions by exchanging data through communication links and interfaces to v…