Kaiyuan Zhang, Danyang Zhuo, Aditya Akella, Arvind Krishnamurthy, Xi Wang 0005. Automated Verification of Customizable Middlebox Properties with Gravel. In Ranjita Bhagwan, George Porter, editors, 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020, Santa Clara, CA, USA, February 25-27, 2020. pages 221-239, USENIX Association, 2020. [doi]
@inproceedings{ZhangZAK020,
title = {Automated Verification of Customizable Middlebox Properties with Gravel},
author = {Kaiyuan Zhang and Danyang Zhuo and Aditya Akella and Arvind Krishnamurthy and Xi Wang 0005},
year = {2020},
url = {https://www.usenix.org/conference/nsdi20/presentation/zhang-kaiyuan},
researchr = {https://researchr.org/publication/ZhangZAK020},
cites = {0},
citedby = {0},
pages = {221-239},
booktitle = {17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020, Santa Clara, CA, USA, February 25-27, 2020},
editor = {Ranjita Bhagwan and George Porter},
publisher = {USENIX Association},
}