@InProceedings{Firewalls+CoqPL2021,
  author       = {Chiplunkar, Shardul and Pit-Claudel, Clément and Chlipala, Adam},
  title        = {Automated Synthesis of Verified Firewalls},
  booktitle    = {CoqPL'21: The Seventh International Workshop on Coq for PL},
  year         = 2021,
  month        = apr,
  editors      = {Assia Mahboubi and Amin Timany},
  doi          = {10.5281/zenodo.4316324},
  url          = {https://zenodo.org/record/4316324}
}