Scalable Intrusion Detection in IoT Networks Via Property Testing and Federated Edge AI | Synapse