On the public citation graph

Formal Analysis of Mobile Multi-Factor Authentication with Single Sign-On Login

https://doi.org/10.1145/3386685
0 signed · 50 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-3-319-10575-8_22openalex-snapshot
Model Checking Security Protocols
inferredcites →https://doi.org/10.1007/978-3-319-75650-9_5openalex-snapshot
Formal Analysis of the FIDO 1.x Protocol
inferredcites →https://doi.org/10.1007/978-3-319-89722-6_8openalex-snapshot
Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience
inferredcites →https://doi.org/10.1007/978-3-642-04444-1_21openalex-snapshot
Secure Pseudonymous Channels
inferredcites →https://doi.org/10.1007/978-3-642-25271-6_1openalex-snapshot
ASLan++ — A Formal Security Specification Language for Distributed Systems
inferredcites →https://doi.org/10.1007/978-3-642-28756-5_19openalex-snapshot
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures
inferredcites →https://doi.org/10.1007/978-3-642-38631-2_63openalex-snapshot
Formal Modeling and Automatic Security Analysis of Two-Factor and Two-Channel Authentication Protocols
inferredcites →https://doi.org/10.1007/978-3-642-39799-8_48openalex-snapshot
The TAMARIN Prover for the Symbolic Analysis of Security Protocols
inferredcites →https://doi.org/10.1007/978-3-642-39884-1_12openalex-snapshot
Hey, You, Get Off of My Clipboard
inferredcites →https://doi.org/10.1007/s10009-015-0385-yopenalex-snapshot
SATMC: a SAT-based model checker for security protocols, business processes, and security APIs
inferredcites →https://doi.org/10.1007/s10207-007-0041-yopenalex-snapshot
SAT-based model-checking for security protocols analysis
inferredcites →https://doi.org/10.1016/j.cose.2017.04.011openalex-snapshot
Anatomy of the Facebook solution for mobile single sign-on: Security assessment and improvements
inferredcites →https://doi.org/10.1016/j.cose.2020.101745openalex-snapshot
A survey on multi-factor authentication for online banking in the wild
inferredcites →https://doi.org/10.1109/csf.2012.27openalex-snapshot
Discovering Concrete Attacks on Website Authorization by Formal Analysis
inferredcites →https://doi.org/10.1109/csf.2017.20openalex-snapshot
The Web SSO Standard OpenID Connect: In-depth Formal Security Analysis and Security Guidelines
inferredcites →https://doi.org/10.1109/csf.2018.00008openalex-snapshot
An Extensive Formal Analysis of Multi-factor Authentication Protocols
inferredcites →https://doi.org/10.1109/hase.2002.1173093openalex-snapshot
Proceedings 7th IEEE International Symposium on High Assurance Systems Engineering. HASE 2002
inferredcites →https://doi.org/10.1109/iceccs.2015.20openalex-snapshot
Formal Analysis of a Single Sign-On Protocol Implementation for Android
inferredcites →https://doi.org/10.1109/icst.2013.75openalex-snapshot
The SPaCIoS Project: Secure Provision and Consumption in the Internet of Services
inferredcites →https://doi.org/10.1109/mobserv.2014.15openalex-snapshot
Towards Enhancing the Security of OAuth Implementations in Smart Phones
inferredcites →https://doi.org/10.1109/ms39421.2016openalex-snapshot
2016 IEEE International Conference on Mobile Services (MS)
inferredcites →https://doi.org/10.1109/sp.2012.30openalex-snapshot
Signing Me onto Your Accounts through Facebook and Google: A Traffic-Guided Security Study of Commercially Deployed Single-Sign-On Web Services
inferredcites →https://doi.org/10.1109/tit.1983.1056650openalex-snapshot
On the security of public key protocols
inferredcites →https://doi.org/10.1145/1456396.1456397openalex-snapshot
Formal analysis of SAML 2.0 web browser single sign-on
inferredcites →https://doi.org/10.1145/2382196.2382238openalex-snapshot
The devil is in the (implementation) details
inferredcites →https://doi.org/10.1145/2660267.2660323openalex-snapshot
OAuth Demystified for Mobile Application Developers
inferredcites →https://doi.org/10.1145/2976749.2978385openalex-snapshot
A Comprehensive Formal Security Analysis of OAuth 2.0
inferredcites →https://doi.org/10.1145/3154862.3154910openalex-snapshot
Challenges and opportunities in evolving TreC personal health record platform
inferredcites →https://doi.org/10.1145/358790.358797openalex-snapshot
Password authentication with insecure communication
inferredcites →https://doi.org/10.14722/ndss.2016.23286openalex-snapshot
Attack Patterns for Black-Box Security Testing of Multi-Party Web Applications
inferredcites →https://doi.org/10.17487/rfc4226openalex-snapshot
HOTP: An HMAC-Based One-Time Password Algorithm
inferredcites →https://doi.org/10.17487/rfc6238openalex-snapshot
TOTP: Time-Based One-Time Password Algorithm
inferredcites →https://doi.org/10.17487/rfc6749openalex-snapshot
The OAuth 2.0 Authorization Framework
inferredcites →https://doi.org/10.17487/rfc7636openalex-snapshot
Proof Key for Code Exchange by OAuth Public Clients
inferredcites →https://doi.org/10.6028/nist.sp.800-63-3openalex-snapshot
Digital identity guidelines: revision 3
inferredcites →https://doi.org/10.6028/nist.sp.800-63bopenalex-snapshot
Digital identity guidelines: authentication and lifecycle management

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-031-48855-9_16openalex-snapshot
One-Time Passwords: A Literary Review of Different Protocols and Their Applications
inferred← citeshttps://doi.org/10.1007/978-981-97-9762-2_5openalex-snapshot
Advancing Smartphone Sensor-Based Keystroke Dynamics for Implicit and Active Authentication: Addressing Challenges and Enhancing Usability Control
inferred← citeshttps://doi.org/10.1016/j.cose.2023.103412openalex-snapshot
Zero trust cybersecurity: Critical success factors and A maturity assessment framework
inferred← citeshttps://doi.org/10.1016/j.cose.2026.104936openalex-snapshot
A provider-agnostic security framework for PKI-based electronic identity systems: A Swedish case study
inferred← citeshttps://doi.org/10.1016/j.joitmc.2025.100654openalex-snapshot
HyVAW: A hybrid vulnerability analysis workflow threat model methodology for complex systems based on distributed components
inferred← citeshttps://doi.org/10.1109/eurosp68448.2026.00040openalex-snapshot
Formal Security Analysis of Swedish BankID
inferred← citeshttps://doi.org/10.1109/gcce56475.2022.10014031openalex-snapshot
Integrating FIDO Authentication with New Digital Identity in Taiwan
inferred← citeshttps://doi.org/10.1109/icpc66645.2025.00012openalex-snapshot
Characterizing Bugs in Login Processes of Android Applications: An Empirical Study
inferred← citeshttps://doi.org/10.1109/icrito66076.2025.11241334openalex-snapshot
Three-Stage Authentication Framework for Mitigating Automated Threats
inferred← citeshttps://doi.org/10.1109/itikd56332.2023.10099567openalex-snapshot
Multi-Factor Authentication Modeling using Petri Nets: Review
inferred← citeshttps://doi.org/10.1109/ri2c51727.2021.9559786openalex-snapshot
New Approach for Single Sign-on Improvement using Load Distribution Method
inferred← citeshttps://doi.org/10.1109/tdsc.2023.3296210openalex-snapshot
An Automated Multi-Layered Methodology to Assist the Secure and Risk-Aware Design of Multi-Factor Authentication Protocols
inferred← citeshttps://doi.org/10.3390/app13042349openalex-snapshot
Combining SABSA and Vis4Sec to the Process Framework IdMSecMan to Continuously Improve Identity Management Security in Heterogeneous ICT Infrastructures
inferred← citeshttps://doi.org/10.3390/fi15040146openalex-snapshot
A Systematic Survey of Multi-Factor Authentication for Cloud Infrastructure
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.