USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 3 results:
Filters: Author is Soo-Jin Moon [Clear All Filters]
Accurately Measuring Global Risk of Amplification Attacks using AmpMap. 30th USENIX Security Symposium (USENIX Security 21). :3881--3898.
.
2021. NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification. 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). :181--200.
.
2020. Alembic: Automated Model Inference for Stateful Network Functions. 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI 19). :699--718.
.
2019.