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.