Client-Verifiable and Efficient Federated Unlearning in Low-Altitude Wireless Networks
arXiv:2603.29688v1 Announce Type: new Abstract: In low-altitude wireless networks (LAWN), federated learning (FL) enables collaborative intelligence among unmanned aerial vehicles (UAVs) and integrated sensing and communication (ISAC) devices while keeping raw sensing data local. Due to the "right to be forgotten" requirements and the high mobility of ISAC devices that frequently enter or leave the coverage region of UAV-assisted servers, the influence of departing devices must be removed from trained models. This necessity motivates the adoption of federated unlearning (FUL) to eliminate historical device contributions from the global model in LAWN. However, existing FUL approaches implicitly assume that the UAV-assisted server executes unlearning operations honestly. Without client-verif
View PDF HTML (experimental)
Abstract:In low-altitude wireless networks (LAWN), federated learning (FL) enables collaborative intelligence among unmanned aerial vehicles (UAVs) and integrated sensing and communication (ISAC) devices while keeping raw sensing data local. Due to the "right to be forgotten" requirements and the high mobility of ISAC devices that frequently enter or leave the coverage region of UAV-assisted servers, the influence of departing devices must be removed from trained models. This necessity motivates the adoption of federated unlearning (FUL) to eliminate historical device contributions from the global model in LAWN. However, existing FUL approaches implicitly assume that the UAV-assisted server executes unlearning operations honestly. Without client-verifiable guarantees, an untrusted server may retain residual device information, leading to potential privacy leakage and undermining trust. To address this issue, we propose VerFU, a privacy-preserving and client-verifiable federated unlearning framework designed for LAWN. It empowers ISAC devices to validate the server-side unlearning operations without relying on original data samples. By integrating linear homomorphic hash (LHH) with commitment schemes, VerFU constructs tamper-proof records of historical updates. ISAC devices ensure the integrity of unlearning results by verifying decommitment parameters and utilizing the linear composability of LHH to check whether the global model accurately removes their historical contributions. Furthermore, VerFU is capable of efficiently processing parallel unlearning requests and verification from multiple ISAC devices. Experimental results demonstrate that our framework efficiently preserves model utility post-unlearning while maintaining low communication and verification overhead.
Subjects:
Cryptography and Security (cs.CR)
Cite as: arXiv:2603.29688 [cs.CR]
(or arXiv:2603.29688v1 [cs.CR] for this version)
https://doi.org/10.48550/arXiv.2603.29688
arXiv-issued DOI via DataCite (pending registration)
Submission history
From: Yuhua Xu [view email] [v1] Tue, 31 Mar 2026 12:45:40 UTC (2,030 KB)
Sign in to highlight and annotate this article
Conversation starters
Daily AI Digest
Get the top 5 AI stories delivered to your inbox every morning.
More about
modelannounceupdate
Software-update - MobaXterm 26.2
Versie 26.2 van MobaXterm is uitgekomen. Dit veelzijdige programma heeft alles aan boord om een verbinding naar een andere computer op te zetten. Het kan overweg met onder meer SSH, Telnet, RDP, VNC en FTP. Het kan meerdere sessies in tabbladen weergeven en het kan ook als portable app worden gebruikt. MobaXterm is gratis voor thuisgebruik met slechts lichte beperkingen; een licentie voor in een commerciële omgeving kost 49 euro. Daarvoor mag het programma voor altijd worden gebruikt en krijg je ook ondersteuning en updates voor een jaar. De changelog voor deze uitgave ziet er als volgt uit: New feature:
Knowledge Map
Connected Articles — Knowledge Graph
This article is connected to other articles through shared AI topics and tags.
More in Releases
📙 Journal Log no. 1 Linux Unhatched ; My DevSecOps Journey
I graduated with a B.Eng in Mechanical Engineering in 2018, but my career path has always been driven by the logic of systems. After earning my Google IT Automation with Python Professional Certificate, I realized that the most powerful engines today are built in the cloud. I am now officially on my journey toward DevSecOps. This log marks the first step to my goal. 📙 Journal Log: 2026-04-05 🎯 Today's Mission Mastering the Fundamentals: Bridging the gap between physical systems thinking and terminal based automation 🛠️ Environment Setup Machine/OS: NDG Virtual Machine (Ubuntu-based) Current Directory: ~/home/sysadmin ⌨️ Commands Flags Learned Command Flag/Context What it does ls -l Lists files in long format (essential for checking permissions). chmod +x Changes file access levels—the D
Harmonic-9B - Two-stage Qwen3.5-9B fine-tune (Stage 2 still training)
Hey r/LocalLLaMA , I just uploaded Harmonic-9B, my latest Qwen3.5-9B fine-tune aimed at agent use. Current status: • Stage 1 (heavy reasoning training) is complete • Stage 2 (light tool-calling / agent fine-tune) is still training right now The plan is to combine strong structured reasoning with clean, reliable tool use while trying to avoid making normal chat feel stiff or overly verbose. Filtered dataset for Stage 2: I open-sourced the filtered version of the Hermes agent traces I’m using for the second stage: https://huggingface.co/datasets/DJLougen/hermes-agent-traces-filtered Key improvements after filtering: • Self-correction: 6% → 63% • Verification steps: 26% → 96% • Thinking depth: +40% • Valid JSON/tool calls: 100% GGUF quants are already available here: https://huggingface.co/DJ
Discussion
Sign in to join the discussion
No comments yet — be the first to share your thoughts!