Cornelius Diekmann

26 papers B 5C 2Journal 17Unranked 1

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