@inproceedings {295585,
	author = {Ruihan Li and Fangdan Ye and Yifei Yuan and Ruizhen Yang and Bingchuan Tian and Tianchen Guo and Hao Wu and Xiaobo Zhu and Zhongyu Guan and Qing Ma and Xianlong Zeng and Chenren Xu and Dennis Cai and Ennan Zhai},
	title = {Reasoning about Network Traffic Load Property at Production Scale},
	booktitle = {21st USENIX Symposium on Networked Systems Design and Implementation (NSDI 24)},
	year = {2024},
	isbn = {978-1-939133-39-7},
	address = {Santa Clara, CA},
	pages = {1063--1082},
	url = {https://www.usenix.org/conference/nsdi24/presentation/li-ruihan},
	publisher = {USENIX Association},
	month = apr
}
@inproceedings {263798,
	author = {Soo-Jin Moon and Yucheng Yin and Rahul Anand Sharma and Yifei Yuan and Jonathan M. Spring and Vyas Sekar},
	title = {Accurately Measuring Global Risk of Amplification Attacks using {AmpMap}},
	booktitle = {30th USENIX Security Symposium (USENIX Security 21)},
	year = {2021},
	isbn = {978-1-939133-24-3},
	pages = {3881--3898},
	url = {https://www.usenix.org/conference/usenixsecurity21/presentation/moon},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {246512,
	author = {Yifei Yuan and Soo-Jin Moon and Sahil Uppal and Limin Jia and Vyas Sekar},
	title = {{NetSMC}: A Custom Symbolic Model Checker for Stateful Network Verification},
	booktitle = {17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20)},
	year = {2020},
	isbn = {978-1-939133-13-7},
	address = {Santa Clara, CA},
	pages = {181--200},
	url = {https://www.usenix.org/conference/nsdi20/presentation/yuan},
	publisher = {USENIX Association},
	month = feb
}
@inproceedings {227647,
	author = {Soo-Jin Moon and Jeffrey Helt and Yifei Yuan and Yves Bieri and Sujata Banerjee and Vyas Sekar and Wenfei Wu and Mihalis Yannakakis and Ying Zhang},
	title = {Alembic: Automated Model Inference for Stateful Network Functions},
	booktitle = {16th USENIX Symposium on Networked Systems Design and Implementation (NSDI 19)},
	year = {2019},
	isbn = {978-1-931971-49-2},
	address = {Boston, MA},
	pages = {699--718},
	url = {https://www.usenix.org/conference/nsdi19/presentation/moon},
	publisher = {USENIX Association},
	month = feb
}
@inproceedings {211295,
	author = {Yifei Yuan and Sanjay Chandrasekaran and Limin Jia and Vyas Sekar},
	title = {Efficient and Correct Test Scheduling for Ensembles of Network Policies},
	booktitle = {15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18)},
	year = {2018},
	isbn = {978-1-939133-01-4},
	address = {Renton, WA},
	pages = {437--452},
	url = {https://www.usenix.org/conference/nsdi18/presentation/yuan},
	publisher = {USENIX Association},
	month = apr
}
