@misc{indiciaeaf4ed9fe7a66, title = {Formalisation of Security for Federated Learning with DP and Attacker Advantage in IIIf for Satellite Swarms -- Extended Version}, author = {Florian Kammüller}, year = {2025}, url = {https://arxiv.org/abs/2512.06467}, note = {Source identifier: 2512.06467} }