@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 = {may},
  url = {http://dl.ifip.org/db/conf/networking/networking2016/1570232858.pdf}
}
