Hello World - Cornelius Diekmann; Lars Hupel (Arch. Formal Proofs, 2020)

Agile Network Access Control in the Container Age - Cornelius Diekmann; Johannes Naab; Andreas Korsten; Georg Carle (IEEE Trans. Netw. Serv. Manag., 2019)

Agile Network Access Control in the Container Age - Cornelius Diekmann; Johannes Naab; Andreas Korsten; Georg Carle (CoRR, 2019)

Verified iptables Firewall Analysis and Verification - Cornelius Diekmann; Lars Hupel; Julius Michaelis; Max W. Haslbeck; Georg Carle (J. Autom. Reason., 2018)

Provably Secure Networks: Methodology and Toolset for Configuration Management - Cornelius Diekmann (Technical University Munich, Germany, 2017)

Privacy Assessment Using Static Taint Analysis (Tool Paper) - Marcel von Maltitz; Cornelius Diekmann; Georg Carle (Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings, 2017)

Provably Secure Networks: Methodology and Toolset for Configuration Management - Cornelius Diekmann (CoRR, 2017)

Iptables_Semantics - Cornelius Diekmann; Lars Hupel (Arch. Formal Proofs, 2016)

IP Addresses - Cornelius Diekmann; Julius Michaelis; Lars Hupel (Arch. Formal Proofs, 2016)

Simple Firewall - Cornelius Diekmann; Julius Michaelis; Max W. Haslbeck (Arch. Formal Proofs, 2016)

Routing - Julius Michaelis; Cornelius Diekmann (Arch. Formal Proofs, 2016)

LOFT - Verified Migration of Linux Firewalls to SDN - Julius Michaelis; Cornelius Diekmann (Arch. Formal Proofs, 2016)

Verified iptables firewall analysis - Cornelius Diekmann; Julius Michaelis; Max W. Haslbeck; Georg Carle (2016 IFIP Networking Conference, Networking 2016 and Workshops, Vienna, Austria, May 17-19, 2016, 2016)

Certifying Spoofing-Protection of Firewalls - Cornelius Diekmann; Lukas Schwaighofer; Georg Carle (CoRR, 2016)

Verifying Security Policies using Host Attributes - Cornelius Diekmann; Stephan-Alexander Posselt; Heiko Niedermayer; Holger Kinkelin; Oliver Hanka; Georg Carle (CoRR, 2016)

Semantics-Preserving Simplification of Real-World Firewall Rule Sets - Cornelius Diekmann; Lars Hupel; Georg Carle (CoRR, 2016)

Demonstrating topoS: Theorem-Prover-Based Synthesis of Secure Network Configurations - Cornelius Diekmann; Andreas Korsten; Georg Carle (CoRR, 2016)

Adaptive Load-Aware Sampling for Network Monitoring on Multicore Commodity Hardware - Lothar Braun; Cornelius Diekmann; Nils Kammenhuber; Georg Carle (CoRR, 2016)

Taint Analysis for System-Wide Privacy Audits: A Framework and Real-World Case Studies - Marcel von Maltitz; Cornelius Diekmann; Georg Carle (CoRR, 2016)

Certifying spoofing-protection of firewalls - Cornelius Diekmann; Lukas Schwaighofer; Georg Carle (11th International Conference on Network and Service Management, CNSM 2015, Barcelona, Spain, November 9-13, 2015, 2015)

Demonstrating topoS: Theorem-prover-based synthesis of secure network configurations - Cornelius Diekmann; Andreas Korsten; Georg Carle (11th International Conference on Network and Service Management, CNSM 2015, Barcelona, Spain, November 9-13, 2015, 2015)

Semantics-Preserving Simplification of Real-World Firewall Rule Sets - Cornelius Diekmann; Lars Hupel; Georg Carle (FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, 2015)

Network Security Policy Verification - Cornelius Diekmann (Arch. Formal Proofs, 2014)

Verifying Security Policies Using Host Attributes - Cornelius Diekmann; Stephan-Alexander Posselt; Heiko Niedermayer; Holger Kinkelin; Oliver Hanka; Georg Carle (Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings, 2014)

Directed Security Policies: A Stateful Network Implementation - Cornelius Diekmann; Lars Hupel; Georg Carle (Proceedings Third International Workshop on Engineering Safety and Security Systems, ESSS 2014, Singapore, Singapore, 13 May 2014, 2014)

Adaptive load-aware sampling for network monitoring on multicore commodity hardware - Lothar Braun; Cornelius Diekmann; Nils Kammenhuber; Georg Carle (IFIP Networking Conference, 2013, Brooklyn, New York, USA, 22-24 May, 2013, 2013)