Assess students' ability to create a novel, scalable federated learning architecture for heterogeneous IoT edge devices that provides provable differential privacy and formal robustness against Byzantine clients. The quiz should test specification of system components (edge, aggregator, hierarchy), algorithms for DP (mechanisms, privacy accounting, composition), Byzantine-robust aggregation strategies and proofs/sketches of robustness under a stated threat model, methods for handling device heterogeneity and resource constraints (partial participation, personalization, compression), scalability techniques (communication reduction, hierarchical/federated aggregation), formal statements and proofs or proof sketches of guarantees, evaluation metrics, and an experimental validation plan.