Nofel Yaseen

TL;DR: This work proposes a different approach using per-team Scouts, where each teams' Scout acts as its gate-keeper --- it routes relevant incidents to the team and routes-away unrelated ones, and reduces the time-to-mitigation of 65% of mis-routed incidents.

TL;DR: The design and implementation of Aragog is presented, a runtime verification system for distributed network functions that achieves high expressiveness, fidelity, and scalability and includes an array of optimizations that leverage properties of networked systems to suppress provably unnecessary system events and to shard verification over every available local and global component.

TL;DR: This work proposes SlickFi, a service differentiation scheme for high-speed WLANs that addresses this tradeoff between maximizing the performance of real-time applications and achieving high throughput by leveraging existing dual radio WiFi access points (APs).

TL;DR: The design and implementation of FP4 is presented, a fuzz-testing framework for P4 switches that achieves high expressiveness, coverage, and scalability, and can validate both safety and stateful properties, improves efficiency over existing random packet generation baselines, and reaches 100% coverage on a wide range of examples.