Biblio

Export 5 results:
Filters: Author is Limin Jia  [Clear All Filters]
2020
Cobb C, Surbatovich M, Kawakami A, Sharif M, Bauer L, Das A, Jia L.  2020.  How Risky Are Real Users' IFTTT Applets? Sixteenth Symposium on Usable Privacy and Security (SOUPS 2020). :505--529.
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.
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.
2016
Vasudevan A, Chaki S, Maniatis P, Jia L, Datta A.  2016.  überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor. 25th USENIX Security Symposium (USENIX Security 16). :87--104.
2014
Chen C, Jia L, Zhou W, Loo BThau.  2014.  Proof-based Verification of Software Defined Networks. Open Networking Summit 2014 (ONS 2014).