Alembic: Automated Model Inference for Stateful Network Functions. - Soo-Jin Moon; Jeffrey Helt; Yifei Yuan; Yves Bieri; Sujata Banerjee; Vyas Sekar; Wenfei Wu; Mihalis Yannakakis; Ying Zhang 022 (NSDI, 2019)

Pryde: A Modular Generalizable Workflow for Uncovering Evasion Attacks Against Stateful Firewall Deployments. - Soo-Jin Moon; Milind Srivastava; Yves Bieri; Ruben Martins; Vyas Sekar (SP, 2024)