@inproceedings {278342,
	author = {Solal Pirelli and Akvil{\.e} Valentukonyt{\.e} and Katerina Argyraki and George Candea},
	title = {Automated Verification of Network Function Binaries},
	booktitle = {19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22)},
	year = {2022},
	isbn = {978-1-939133-27-4},
	address = {Renton, WA},
	pages = {585--600},
	url = {https://www.usenix.org/conference/nsdi22/presentation/pirelli},
	publisher = {USENIX Association},
	month = apr
}
