SPAM: Secure & Private Aircraft Management

With the rising use of aircrafts for operations ranging from disaster-relief to warfare, there is a growing risk of adversarial attacks. Malicious entities often only require the location of the aircraft for these attacks. Current satellite-aircraft communication and tracking protocols put aircrafts at risk if the satellite is compromised, due to computation being done in plaintext. In this work, we present $\mathtt{\text{SPAM}}$, a private, secure, and accurate system that allows satellites to efficiently manage and maintain tracking angles for aircraft fleets without learning aircrafts’ locations. $\mathtt{\text{SPAM}}$ is built upon multi-party computation and zero-knowledge proofs to guarantee privacy and high efficiency. While catered towards aircrafts, $\mathtt{\text{SPAM}}$'s zero-knowledge fleet management can be easily extended to the IoT, with very little overhead.