@inproceedings {264993,
	author = {Rudiger Birkner and Tobias Brodmann and Petar Tsankov and Laurent Vanbever and Martin Vechev},
	title = {Metha: Network Verifiers Need To Be Correct Too!},
	booktitle = {18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21)},
	year = {2021},
	isbn = {978-1-939133-21-2},
	pages = {99--113},
	url = {https://www.usenix.org/conference/nsdi21/presentation/birkner},
	publisher = {USENIX Association},
	month = apr
}
@inproceedings {211247,
	author = {Ahmed El-Hassany and Petar Tsankov and Laurent Vanbever and Martin Vechev},
	title = {{NetComplete}: Practical {Network-Wide} Configuration Synthesis with Autocompletion},
	booktitle = {15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18)},
	year = {2018},
	isbn = {978-1-939133-01-4},
	address = {Renton, WA},
	pages = {579--594},
	url = {https://www.usenix.org/conference/nsdi18/presentation/el-hassany},
	publisher = {USENIX Association},
	month = apr
}
@inproceedings {217513,
	author = {Roland Meier and Petar Tsankov and Vincent Lenders and Laurent Vanbever and Martin Vechev},
	title = {{NetHide}: Secure and Practical Network Topology Obfuscation},
	booktitle = {27th USENIX Security Symposium (USENIX Security 18)},
	year = {2018},
	isbn = {978-1-939133-04-5},
	address = {Baltimore, MD},
	pages = {693--709},
	url = {https://www.usenix.org/conference/usenixsecurity18/presentation/meier},
	publisher = {USENIX Association},
	month = aug
}
