Cornelius Diekmann

ORCID

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 21

Top Venues

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Cornelius Diekmann, Lars Hupel
Hello World. Arch. Formal Proofs 2020 (2020)
Cornelius Diekmann, Johannes Naab, Andreas Korsten, Georg Carle
Agile Network Access Control in the Container Age. CoRR (2019)
Cornelius Diekmann, Johannes Naab, Andreas Korsten, Georg Carle
Agile Network Access Control in the Container Age. IEEE Trans. Netw. Serv. Manag. 16 (1) (2019)
Cornelius Diekmann, Lars Hupel, Julius Michaelis, Max W. Haslbeck, Georg Carle
Verified iptables Firewall Analysis and Verification. J. Autom. Reason. 61 (1-4) (2018)
Marcel von Maltitz, Cornelius Diekmann, Georg Carle
Privacy Assessment Using Static Taint Analysis (Tool Paper). FORTE (2017)
Cornelius Diekmann
Provably Secure Networks: Methodology and Toolset for Configuration Management. CoRR (2017)
Cornelius Diekmann, Stephan-Alexander Posselt, Heiko Niedermayer, Holger Kinkelin, Oliver Hanka, Georg Carle
Verifying Security Policies using Host Attributes. CoRR (2016)
Julius Michaelis, Cornelius Diekmann
LOFT - Verified Migration of Linux Firewalls to SDN. Arch. Formal Proofs 2016 (2016)
Cornelius Diekmann, Andreas Korsten, Georg Carle
Demonstrating topoS: Theorem-Prover-Based Synthesis of Secure Network Configurations. CoRR (2016)
Cornelius Diekmann, Julius Michaelis, Lars Hupel
IP Addresses. Arch. Formal Proofs 2016 (2016)
Cornelius Diekmann, Julius Michaelis, Max W. Haslbeck, Georg Carle
Verified iptables firewall analysis. Networking (2016)
Cornelius Diekmann, Lars Hupel, Georg Carle
Semantics-Preserving Simplification of Real-World Firewall Rule Sets. CoRR (2016)
Lothar Braun, Cornelius Diekmann, Nils Kammenhuber, Georg Carle
Adaptive Load-Aware Sampling for Network Monitoring on Multicore Commodity Hardware. CoRR (2016)
Cornelius Diekmann, Lars Hupel
Iptables_Semantics. Arch. Formal Proofs 2016 (2016)
Cornelius Diekmann, Lukas Schwaighofer, Georg Carle
Certifying Spoofing-Protection of Firewalls. CoRR (2016)
Cornelius Diekmann, Julius Michaelis, Max W. Haslbeck
Simple Firewall. Arch. Formal Proofs 2016 (2016)
Julius Michaelis, Cornelius Diekmann
Routing. Arch. Formal Proofs 2016 (2016)
Marcel von Maltitz, Cornelius Diekmann, Georg Carle
Taint Analysis for System-Wide Privacy Audits: A Framework and Real-World Case Studies. CoRR (2016)
Cornelius Diekmann, Andreas Korsten, Georg Carle
Demonstrating topoS: Theorem-prover-based synthesis of secure network configurations. CNSM (2015)
Cornelius Diekmann, Lars Hupel, Georg Carle
Semantics-Preserving Simplification of Real-World Firewall Rule Sets. FM (2015)
Cornelius Diekmann, Lukas Schwaighofer, Georg Carle
Certifying spoofing-protection of firewalls. CNSM (2015)
Cornelius Diekmann, Stephan-Alexander Posselt, Heiko Niedermayer, Holger Kinkelin, Oliver Hanka, Georg Carle
Verifying Security Policies Using Host Attributes. FORTE (2014)
Cornelius Diekmann, Lars Hupel, Georg Carle
Directed Security Policies: A Stateful Network Implementation. ESSS (2014)
Cornelius Diekmann
Network Security Policy Verification. Arch. Formal Proofs 2014 (2014)
Lothar Braun, Cornelius Diekmann, Nils Kammenhuber, Georg Carle
Adaptive load-aware sampling for network monitoring on multicore commodity hardware. Networking (2013)

Cornelius Diekmann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Cornelius Diekmann