Formalisation of Security for Federated Learning with DP and Attacker Advantage in IIIf for Satellite Swarms -- Extended Version

Documenti analoghi

• Security Engineering in IIIf, Part II -- Refinement and Noninterference
  di: Kammüller, Florian
  Pubblicazione: (2024)
• CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model
  di: Jeanteur, Simon, et al.
  Pubblicazione: (2023)
• Instrumenting Transaction Trace Properties in Smart Contracts: Extending the EVM for Real-Time Security
  di: Chen, Zhiyang, et al.
  Pubblicazione: (2024)
• Higher Order Model Checking in Isabelle for Human Centric Infrastructure Security
  di: Kammüller, Florian
  Pubblicazione: (2023)
• Model Checking the Security of the Lightning Network
  di: Grundmann, Matthias, et al.
  Pubblicazione: (2025)