USENIX reaffirms its commitment to diversity, equity, and inclusion.
Biblio
Export 5 results:
Filters: Author is Limin Jia [Clear All Filters]
How Risky Are Real Users' IFTTT Applets? Sixteenth Symposium on Usable Privacy and Security (SOUPS 2020). :505--529.
.
2020. NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification. 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). :181--200.
.
2020. Efficient and Correct Test Scheduling for Ensembles of Network Policies. 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18). :437--452.
.
2018. überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor. 25th USENIX Security Symposium (USENIX Security 16). :87--104.
.
2016. Proof-based Verification of Software Defined Networks. Open Networking Summit 2014 (ONS 2014).
.
2014.