@inproceedings{kang-2019-cset, author = {Qiao Kang and Jiarong Xing and Ang Chen}, title = {Automated Attack Discovery in Data Plane Systems}, booktitle = {Proceedings of USENIX USENIX Workshop on Cyber Security Experimentation and Test (CSET)}, location = {Santa Clara, CA}, month = aug, year = 2019 }