Biblio

Export 3 results:
Filters: Author is Soo-Jin Moon  [Clear All Filters]
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.