Assessing the Effectiveness of ADS-B Mitigations | Synapse