Nomad: Mitigating Arbitrary Cloud Side Channels via Provider-Assisted Migration. - Soo-Jin Moon; Vyas Sekar; Michael K. Reiter (CCS, 2015)

Towards Oblivious Network Analysis using Generative Adversarial Networks. - Zinan Lin 001; Soo-Jin Moon; Carolina M. Zarate; Ritika Mulagalapalli; Sekar Kulandaivel; Giulia Fanti; Vyas Sekar (HotNets, 2019)

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)

NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification. - Yifei Yuan; Soo-Jin Moon; Sahil Uppal; Limin Jia 001; Vyas Sekar (NSDI, 2020)

Practical Black-Box Analysis for Network Functions and Services. - Soo-Jin Moon (2020)

Accurately Measuring Global Risk of Amplification Attacks using AmpMap. - Soo-Jin Moon; Yucheng Yin; Rahul Anand Sharma; Yifei Yuan; Jonathan M. Spring; Vyas Sekar (USENIX Security Symposium, 2021)

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)