Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Quamara, Megha, Vigano, Luca
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Formal Approach For Modelling And Analysing Surgical Procedures (Extended Version)
by: Sandu, Ioana, et al.
Published: (2024)

Time Tells All: Deanonymization of Blockchain RPC Users with Zero Transaction Fee (Extended Version)
by: Wang, Shan, et al.
Published: (2025)

Security Analysis and Threat Modeling of Research Management Applications [Extended Version]
by: Sindala, Boniface M., et al.
Published: (2025)

Evaluating Social Acceptance of eXtended Reality (XR) Agent Technology: A User Study (Extended Version)
by: Quamara, Megha, et al.
Published: (2025)

Extending the Formalism and Theoretical Foundations of Cryptography to AI
by: Villa, Federico, et al.
Published: (2026)

On Kernel's Safety in the Spectre Era (Extended Version)
by: Davoli, Davide, et al.
Published: (2024)

On Separation Logic, Computational Independence, and Pseudorandomness (Extended Version)
by: Lago, Ugo Dal, et al.
Published: (2024)

Beyond the Finite Variant Property: Extending Symbolic Diffie-Hellman Group Models (Extended Version)
by: Giampietro, Sofia, et al.
Published: (2026)

Can Large Language Models Automate Phishing Warning Explanations? A Controlled Experiment on Effectiveness and User Perception
by: Cau, Federico Maria, et al.
Published: (2025)

APOLLO: A GPT-based tool to detect phishing emails and generate explanations that warn users
by: Desolda, Giuseppe, et al.
Published: (2024)

FlexEmu: Towards Flexible MCU Peripheral Emulation (Extended Version)
by: Lei, Chongqing, et al.
Published: (2025)

A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
by: Capretto, Margarita, et al.
Published: (2025)

Software-Based Memory Erasure with relaxed isolation requirements: Extended Version
by: Bursuc, Sergiu, et al.
Published: (2024)

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version)
by: Davoli, Davide, et al.
Published: (2024)

REBENCH: A Procedural, Fair-by-Construction Benchmark for LLMs on Stripped-Binary Types and Names (Extended Version)
by: Won, Jun Yeon, et al.
Published: (2026)

IoT Firmware Version Identification Using Transfer Learning with Twin Neural Networks
by: Andrews, Ashley, et al.
Published: (2025)

Stack Overflow Meets Replication: Security Research Amid Evolving Code Snippets (Extended Version)
by: Jallow, Alfusainey, et al.
Published: (2025)

Last-Level Cache Side-Channel Attacks Are Feasible in the Modern Public Cloud (Extended Version)
by: Zhao, Zirui Neil, et al.
Published: (2024)

How does Graph Structure Modulate Membership-Inference Risk for Graph Neural Networks?
by: Khosla, Megha
Published: (2026)

Snorkeling in dark waters: A longitudinal surface exploration of unique Tor Hidden Services (Extended Version)
by: Barredo-Valenzuela, Alfonso Rodriguez, et al.
Published: (2025)

Libra: Architectural Support For Principled, Secure And Efficient Balanced Execution On High-End Processors (Extended Version)
by: Winderix, Hans, et al.
Published: (2024)

Automated Repair of OpenID Connect Programs (Extended Version)
by: Rahat, Tamjid Al, et al.
Published: (2025)

Oreo: Protecting ASLR Against Microarchitectural Attacks (Extended Version)
by: Song, Shixin, et al.
Published: (2024)

VERCATION: Precise Vulnerable Open-source Software Version Identification based on Static Analysis and LLM
by: Cheng, Yiran, et al.
Published: (2024)

Formal Security Analysis of the AMD SEV-SNP Software Interface
by: Paradžik, Petar, et al.
Published: (2024)

A Formal Analysis of SCTP: Attack Synthesis and Patch Verification
by: Ginesin, Jacob, et al.
Published: (2024)

Towards Reliable and Generalizable Differentially Private Machine Learning (Extended Version)
by: Bao, Wenxuan, et al.
Published: (2025)

Intriguing Properties of Adversarial ML Attacks in the Problem Space [Extended Version]
by: Cortellazzi, Jacopo, et al.
Published: (2019)

Cassandra: Efficient Enforcement of Sequential Execution for Cryptographic Programs (Extended Version)
by: Hajiabadi, Ali, et al.
Published: (2024)

Beyond Gaze Points: Augmenting Eye Movement with Brainwave Data for Multimodal User Authentication in Extended Reality
by: Fallahi, Matin, et al.
Published: (2024)

Time will Tell: Large-scale De-anonymization of Hidden I2P Services via Live Behavior Alignment (Extended Version)
by: Wang, Hongze, et al.
Published: (2025)

Cybersecurity Challenge Analysis of Work-from-Anywhere (WFA) and Recommendations guided by a User Study
by: Mahyoub, Mohammed, et al.
Published: (2024)

User Perception of CAPTCHAs: A Comparative Study between University and Internet Users
by: Reddy, Arun, et al.
Published: (2024)

Extending XReason: Formal Explanations for Adversarial Detection
by: Jemaa, Amira, et al.
Published: (2024)

Payout Races and Congested Channels: A Formal Analysis of Security in the Lightning Network
by: Weintraub, Ben, et al.
Published: (2024)

The Procedural Semantics Gap in Structured CTI: A Measurement-Driven STIX Analysis for APT Emulation
by: Ferraz, Ágney Lopes Roth, et al.
Published: (2025)

On the Formalization of Cryptographic Migration
by: Loebenberger, Daniel, et al.
Published: (2024)

CoFHEE: A Co-processor for Fully Homomorphic Encryption Execution (Extended Version)
by: Nabeel, Mohammed, et al.
Published: (2022)

Augmenting Security and Privacy in the Virtual Realm: An Analysis of Extended Reality Devices
by: Cayir, Derin, et al.
Published: (2024)

PoliGraph: Automated Privacy Policy Analysis using Knowledge Graphs (Journal Version)
by: Cui, Hao, et al.
Published: (2022)