@inproceedings{diekmann2015fm,
  title = {{Semantics-Preserving Simplification of Real-World Firewall Rule Sets}},
  author = {Diekmann, Cornelius and Hupel, Lars and Carle, Georg},
  booktitle = {20th International Symposium on Formal Methods},
  year = {2015},
  month = {6},
  pages = {195-212},
  publisher = {Springer},
  note = {\url{http://www.net.in.tum.de/fileadmin/bibtex/publications/papers/fm15_Semantics-Preserving_Simplification_of_Real-World_Firewall_Rule_Sets.pdf}}
}

@inproceedings{diekmann2015cnsm,
  title = {{Certifying Spoofing-Protection of Firewalls}},
  author = {Diekmann, Cornelius and Schwaighofer, Lukas and Carle, Georg},
  booktitle = {11th International Conference on Network and Service Management, CNSM},
  year = {2015},
  address = {Barcelona, Spain},
  month = {11},
  note = {\url{http://www.net.in.tum.de/fileadmin/bibtex/publications/papers/diekmann2015_cnsm.pdf}}
}

@inproceedings{diekmann2016networking,
  title = {{Verified iptables Firewall Analysis}},
  author = {Diekmann, Cornelius and Michaelis, Julius and Haslbeck, Maximilian and Carle, Georg},
  booktitle = {IFIP Networking 2016},
  year = {2016},
  address = {Vienna, Austria},
  month = {5},
  note = {\url{http://dl.ifip.org/db/conf/networking/networking2016/1570232858.pdf}}
}

@misc{diekmann2015congress,
  title = {{Verified Firewall Ruleset Verification} -- {Math, Functional Programming, Theorem Proving, and an Introduction to Isabelle/HOL}},
  author = {Diekmann, Cornelius},
  howPublished = {32. Chaos Communication Congress (32C3)},
  month = {12},
  year = {2015},
  address = {Hamburg, Germany},
  note = {Recording: \url{https://media.ccc.de/v/32c3-7195-verified_firewall_ruleset_verification}}
}
