Biblio

Export 5 results:
Filters: Author is Yifei Yuan  [Clear All Filters]
2024
Li R, Ye F, Yuan Y, Yang R, Tian B, Guo T, Wu H, Zhu X, Guan Z, Ma Q et al..  2024.  Reasoning about Network Traffic Load Property at Production Scale. 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI 24). :1063--1082.
2021
Moon S-J, Yin Y, Sharma RAnand, Yuan Y, Spring JM, Sekar V.  2021.  Accurately Measuring Global Risk of Amplification Attacks using AmpMap. 30th USENIX Security Symposium (USENIX Security 21). :3881--3898.
2020
Yuan Y, Moon S-J, Uppal S, Jia L, Sekar V.  2020.  NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification. 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). :181--200.
2019
Moon S-J, Helt J, Yuan Y, Bieri Y, Banerjee S, Sekar V, Wu W, Yannakakis M, Zhang Y.  2019.  Alembic: Automated Model Inference for Stateful Network Functions. 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI 19). :699--718.
2018
Yuan Y, Chandrasekaran S, Jia L, Sekar V.  2018.  Efficient and Correct Test Scheduling for Ensembles of Network Policies. 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18). :437--452.