Adaptive load-aware sampling for network monitoring on multicore commodity hardware. - Lothar Braun; Cornelius Diekmann; Nils Kammenhuber; Georg Carle (Networking, 2013)

Verifying Security Policies Using Host Attributes. - Cornelius Diekmann; Stephan-Alexander Posselt; Heiko Niedermayer; Holger Kinkelin; Oliver Hanka; Georg Carle (FORTE, 2014)

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

Directed Security Policies: A Stateful Network Implementation. - Cornelius Diekmann; Lars Hupel; Georg Carle (ESSS, 2014)

Demonstrating topoS: Theorem-prover-based synthesis of secure network configurations. - Cornelius Diekmann; Andreas Korsten; Georg Carle (CNSM, 2015)

Certifying spoofing-protection of firewalls. - Cornelius Diekmann; Lukas Schwaighofer; Georg Carle (CNSM, 2015)

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

Verified iptables firewall analysis. - Cornelius Diekmann; Julius Michaelis; Max W. Haslbeck; Georg Carle (Networking, 2016)

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)

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

Privacy Assessment Using Static Taint Analysis (Tool Paper). - Marcel von Maltitz; Cornelius Diekmann; Georg Carle (FORTE, 2017)

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

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

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

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

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