@inproceedings {211301,
	author = {Wenxuan Zhou and Jason Croft and Bingzhe Liu and Elaine Ang and Matthew Caesar},
	title = {Automatically Correcting Networks with {NEAt}},
	booktitle = {15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18)},
	year = {2018},
	isbn = {978-1-939133-01-4},
	address = {Renton, WA},
	pages = {595--608},
	url = {https://www.usenix.org/conference/nsdi18/presentation/zhou},
	publisher = {USENIX Association},
	month = apr
}
@inproceedings {189032,
	author = {Wenxuan Zhou and Dong Jin and Jason Croft and Matthew Caesar and P. Brighten Godfrey},
	title = {Enforcing Customizable Consistency Properties in {Software-Defined} Networks},
	booktitle = {12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15)},
	year = {2015},
	isbn = {978-1-931971-218},
	address = {Oakland, CA},
	pages = {73--85},
	url = {https://www.usenix.org/conference/nsdi15/technical-sessions/presentation/zhou},
	publisher = {USENIX Association},
	month = may
}
@inproceedings {190480,
	author = {Jason Croft and Ratul Mahajan and Matthew Caesar and Madan Musuvathi},
	title = {Systematically Exploring the Behavior of Control Programs},
	booktitle = {2015 USENIX Annual Technical Conference (USENIX ATC 15)},
	year = {2015},
	isbn = {978-1-931971-225},
	address = {Santa Clara, CA},
	pages = {165--176},
	url = {https://www.usenix.org/conference/atc15/technical-session/presentation/croft},
	publisher = {USENIX Association},
	month = jul
}
@inproceedings {266609,
	author = {Jason Croft and Matthew Caesar},
	title = {Towards Practical Avoidance of Information Leakage in Enterprise Networks},
	booktitle = {6th USENIX Workshop on Hot Topics in Security (HotSec 11)},
	year = {2011},
	address = {San Francisco, CA},
	url = {https://www.usenix.org/conference/hotsec11/towards-practical-avoidance-information-leakage-enterprise-networks},
	publisher = {USENIX Association},
	month = aug
}
@inproceedings {268065,
	author = {Gang Tan and Jason Croft},
	title = {An Empirical Security Study of the Native Code in the {JDK}},
	booktitle = {17th USENIX Security Symposium (USENIX Security 08)},
	year = {2008},
	address = {San Jose, CA},
	url = {https://www.usenix.org/conference/17th-usenix-security-symposium/empirical-security-study-native-code-jdk},
	publisher = {USENIX Association},
	month = jul
}
