TY - RPRT TI - Formalisation of Security for Federated Learning with DP and Attacker Advantage in IIIf for Satellite Swarms -- Extended Version AU - Florian Kammüller PY - 2025 UR - https://arxiv.org/abs/2512.06467 ID - 2512.06467 ER -