Browse files

even moar academic pubs. no paywall

  • Loading branch information...
diekmann committed May 26, 2018
1 parent e524447 commit 4bf232ff66ce92205f8cd0fbe4dbb25d4499c256
Showing with 1 addition and 0 deletions.
  1. +1 −0
@@ -49,6 +49,7 @@ See in [haskell_tool](./haskell_tool/).
### Academic Publications
* Cornelius Diekmann, Lars Hupel, Julius Michaelis, Maximilian Haslbeck, Georg Carle. *Verified iptables Firewall Analysis and Verification.* In Journal of Automated Reasoning, January 2018. [[preprint]](, [[springer]](
* Cornelius Diekmann, *Provably Secure Networks: Methodology and Toolset for Configuration Management.* PhD thesis, Technische Universität München, July 2017. [[preprint]](, [[mediatum]](
* Cornelius Diekmann, Julius Michaelis, Maximilian Haslbeck, and Georg Carle. *Verified iptables Firewall Analysis.* In IFIP Networking 2016, Vienna, Austria, May 2016. [[preprint]](, [[ifip]](
* Cornelius Diekmann, Lukas Schwaighofer, and Georg Carle. *Certifying spoofing-protection of firewalls.* In 11th International Conference on Network and Service Management, CNSM, Barcelona, Spain, November 2015. [[preprint]](, [[ieee | paywall]](
* Cornelius Diekmann, Lars Hupel, and Georg Carle. *Semantics-Preserving Simplification of Real-World Firewall Rule Sets.* In 20th International Symposium on Formal Methods, June 2015. [[preprint]](, [[springer | paywall]](

0 comments on commit 4bf232f

Please sign in to comment.