@inproceedings {289534,
	author = {McKenna McCall and Eric Zeng and Faysal Hossain Shezan and Mitchell Yang and Lujo Bauer and Abhishek Bichhawat and Camille Cobb and Limin Jia and Yuan Tian},
	title = {Towards Usable Security Analysis Tools for {Trigger-Action} Programming},
	booktitle = {Nineteenth Symposium on Usable Privacy and Security (SOUPS 2023)},
	year = {2023},
	isbn = {978-1-939133-36-6},
	address = {Anaheim, CA},
	pages = {301--320},
	url = {https://www.usenix.org/conference/soups2023/presentation/mccall},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {255660,
	author = {Camille Cobb and Milijana Surbatovich and Anna Kawakami and Mahmood Sharif and Lujo Bauer and Anupam Das and Limin Jia},
	title = {How Risky Are Real Users{\textquoteright} {IFTTT} Applets?},
	booktitle = {Sixteenth Symposium on Usable Privacy and Security (SOUPS 2020)},
	year = {2020},
	isbn = {978-1-939133-16-8},
	pages = {505--529},
	url = {https://www.usenix.org/conference/soups2020/presentation/cobb},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {246512,
	author = {Yifei Yuan and Soo-Jin Moon and Sahil Uppal and Limin Jia and Vyas Sekar},
	title = {{NetSMC}: A Custom Symbolic Model Checker for Stateful Network Verification},
	booktitle = {17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20)},
	year = {2020},
	isbn = {978-1-939133-13-7},
	address = {Santa Clara, CA},
	pages = {181--200},
	url = {https://www.usenix.org/conference/nsdi20/presentation/yuan},
	publisher = {USENIX Association},
	month = feb
}
@inproceedings {211295,
	author = {Yifei Yuan and Sanjay Chandrasekaran and Limin Jia and Vyas Sekar},
	title = {Efficient and Correct Test Scheduling for Ensembles of Network Policies},
	booktitle = {15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18)},
	year = {2018},
	isbn = {978-1-939133-01-4},
	address = {Renton, WA},
	pages = {437--452},
	url = {https://www.usenix.org/conference/nsdi18/presentation/yuan},
	publisher = {USENIX Association},
	month = apr
}
@inproceedings {197173,
	author = {Amit Vasudevan and Sagar Chaki and Petros Maniatis and Limin Jia and Anupam Datta},
	title = {{{\"u}berSpark}: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor},
	booktitle = {25th USENIX Security Symposium (USENIX Security 16)},
	year = {2016},
	isbn = {978-1-931971-32-4},
	address = {Austin, TX},
	pages = {87--104},
	url = {https://www.usenix.org/conference/usenixsecurity16/technical-sessions/presentation/vasudevan},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {182297,
	author = {Chen Chen and Limin Jia and Wenchao Zhou and Boon Thau Loo},
	title = {Proof-based Verification of Software Defined Networks},
	booktitle = {Open Networking Summit 2014 (ONS 2014)},
	year = {2014},
	address = {Santa Clara, CA},
	url = {https://www.usenix.org/conference/ons2014/technical-sessions/presentation/chen},
	publisher = {USENIX Association},
	month = mar
}
