@INPROCEEDINGS{diekmann2014esss,
  author = {Cornelius Diekmann and Lars Hupel and Georg Carle},
  title = {{Directed Security Policies: A Stateful Network Implementation}},
  booktitle = {Engineering Safety and Security Systems},
  year = {2014},
  editor = {Pang, Jun and Liu, Yang},
  volume = {150},
  series = {Electronic Proceedings in Theoretical Computer Science},
  pages = {20--34},
  address = {Singapore},
  month = may,
  publisher = {Open Publishing Association},
  doi = {10.4204/EPTCS.150.3},
  owner = {diekmann},
  project = {tum},
  url = {http://rvg.web.cse.unsw.edu.au/eptcs/paper.cgi?ESSS2014.3}
}

@INPROCEEDINGS{diekmann2014forte,
  author = {Cornelius Diekmann and Stephan-A. Posselt and Heiko Niedermayer and
	Holger Kinkelin and Oliver Hanka and Georg Carle},
  title = {{Verifying Security Policies using Host Attributes}},
  booktitle = {FORTE -- 34th IFIP International Conference on Formal Techniques
	for Distributed Objects, Components and Systems},
  year = {2014},
  address = {Berlin, Germany},
  month = jun,
  keywords = {verification; network security; security policy; network management;
	security invariant; attribute-based model; information flow and access
	control strategies; Isabelle/HOL},
  owner = {diekmann},
  project = {tum},
  url = {http://www.net.in.tum.de/fileadmin/bibtex/publications/papers/forte14_verifying_security_policies_using_host_attributes.pdf}
}

@INPROCEEDINGS{diekmann2015mansdnnfv,
  Title                    = {{Demonstrating \emph{topoS}: Theorem-Prover-Based Synthesis of Secure Network Configurations}},
  Author                   = {Cornelius Diekmann and Andreas Korsten and Georg Carle},
  Booktitle                = {2nd International Workshop on Management of SDN and NFV Systems, {manSDN/NFV}},
  Year                     = {2015},
  Address                  = {Barcelona, Spain},
  Month                    = nov,
  Url                      = {http://www.net.in.tum.de/fileadmin/bibtex/publications/papers/diekmann2015mansdnnfv.pdf}
}

