TY - RPRT TI - User Identification Procedures with Human Mutations: Formal Analysis and Pilot Study (Extended Version) AU - Megha Quamara AU - Luca Vigano PY - 2025 UR - https://arxiv.org/abs/2502.05530 ID - 2502.05530 ER -