Cover Image

Symbolic verification of Apple's Find My location-tracking protocol

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Sundararajan, Vaishnavi, Rithwik
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

Protocol insecurity with finitely many sessions and XOR
by: Ramanujam, R, et al.
Published: (2025)

Solving the insecurity problem for assertions
by: Ramanujam, R, et al.
Published: (2023)

I Blame Apple in Part for My False Expectations: An Autoethnographic Study of Apple's Lockdown Mode in iOS
by: Mader, Benedikt, et al.
Published: (2024)

WatchWitch: Interoperability, Privacy, and Autonomy for the Apple Watch
by: Rollshausen, Nils, et al.
Published: (2025)

Longitudinal Analysis of Privacy Labels in the Apple App Store
by: Balash, David G., et al.
Published: (2022)

Ejafa_protocol: A custom INC secure protocol
by: Bassam, Ejafa
Published: (2024)

Too Private to Tell: Practical Token Theft Attacks on Apple Intelligence
by: Zhou, Haoling, et al.
Published: (2026)

Compressed verification for post-quantum signatures with long-term public keys
by: Banegas, Gustavo, et al.
Published: (2025)

Formal verification in Solidity and Move: insights from a comparative analysis
by: Bartoletti, Massimo, et al.
Published: (2025)

CycleGANWM: A CycleGAN watermarking method for ownership verification
by: Lin, Dongdong, et al.
Published: (2022)

"Elementary, My Dear Watson." Detecting Malicious Skills via Neuro-Symbolic Reasoning across Heterogeneous Artifacts
by: Wang, Shenao, et al.
Published: (2026)

All graph state verification protocols are composably secure
by: Colisson, Léo, et al.
Published: (2024)

Winternitz stack protocols
by: Shafarenko, Alex
Published: (2022)

Finding Missing Input Validation in TEEs via LLM-Assisted Symbolic Execution
by: Ma, Chengyan, et al.
Published: (2026)

Honesty is the Best Policy: On the Accuracy of Apple Privacy Labels Compared to Apps' Privacy Policies
by: Ali, Mir Masood, et al.
Published: (2023)

H-LPS: a hybrid approach for user's location privacy in location-based services
by: Sabir, Sonia, et al.
Published: (2022)

Reverse Engineering the Apple M1 Conditional Branch Predictor for Out-of-Place Spectre Mistraining
by: Tuby, Adam, et al.
Published: (2025)

Solvent: liquidity verification of smart contracts
by: Bartoletti, Massimo, et al.
Published: (2024)

Uncovering Software-Based Power Side-Channel Attacks on Apple M1/M2 Systems
by: Chawla, Nikhil, et al.
Published: (2023)

Finding Memory Leaks in C/C++ Programs via Neuro-Symbolic Augmented Static Analysis
by: Huang, Huihui, et al.
Published: (2026)

ESPM-D: Efficient Sparse Polynomial Multiplication for Dilithium on ARM Cortex-M4 and Apple M2
by: Zheng, Jieyu, et al.
Published: (2024)

Wrapless: The trustless lending protocol on top of Bitcoin
by: Kurbatov, Oleksandr, et al.
Published: (2025)

SoK: Demystifying the multiverse of MPC protocols
by: De Viti, Roberta, et al.
Published: (2025)

A lightweight PUF-based authentication protocol
by: Zhuang, Yu, et al.
Published: (2024)

Securing the Invisible Thread: A Comprehensive Analysis of BLE Tracker Security in Apple AirTags and Samsung SmartTags
by: Alamleh, Hosam, et al.
Published: (2024)

ARIstoteles -- Dissecting Apple's Baseband Interface
by: Kröll, Tobias, et al.
Published: (2026)

Follow My Eyes: Backdoor Attacks on VLM-based Scanpath Prediction
by: Romero, Diana, et al.
Published: (2026)

Security issues in a group key establishment protocol
by: Mitchell, Chris J
Published: (2018)

Analysis of Efficiency of the Messaging Layer Security protocol in Experimental Settings
by: Soler, David, et al.
Published: (2025)

Stateful protocol fuzzing with statemap-based reverse state selection
by: Yu, Liu, et al.
Published: (2024)

A Commitment-based Authentication model for Key Exchange protocols
by: Sánchez-Ledesma, Rodrigo Martín, et al.
Published: (2023)

Charge It to My Neighbor: A Relay Attack on ISO 15118 Plug and Charge Payment
by: Löw, Jakob, et al.
Published: (2025)

Protecting the 'Stop Using My Data' Right through Blockchain-assisted Evidence Generation
by: Zhang, Fan, et al.
Published: (2024)

Symbolic Quantitative Information Flow for Probabilistic Programs
by: Schröer, Philipp, et al.
Published: (2024)

Divide and Conquer based Symbolic Vulnerability Detection
by: Scherb, Christopher, et al.
Published: (2024)

Not My Agent, Not My Boundary? Elicitation of Personal Privacy Boundaries in AI-Delegated Information Sharing
by: Guo, Bingcan, et al.
Published: (2025)

Overlapping data in network protocols: bridging OS and NIDS reassembly gap
by: Aubard, Lucas, et al.
Published: (2025)

The Boomerang protocol: A Decentralised Privacy-Preserving Verifiable Incentive Protocol
by: Ankele, Ralph, et al.
Published: (2023)

Cryptanalysis of authentication and key establishment protocol in Mobile Edge Computing Environment
by: Mugunthan, Sundararaju, et al.
Published: (2024)

CABBA: Compatible Authenticated Bandwidth-efficient Broadcast protocol for ADS-B
by: Ngamboé, Mikaëla, et al.
Published: (2023)