| Title | Automated Verification of Customizable Middlebox Properties with Gravel |
| Publication Type | Conference Paper |
| Year of Publication | 2020 |
| Authors | Zhang K., Zhuo D., Akella A., Krishnamurthy A, Wang X |
| Conference Name | NSDI |
| Date or Month Published | Feb |
| URL | https://homes.cs.washington.edu/~arvind/papers/gravel.pdf |
| Citation Key | 15612 |
