Cornelius Diekmann

Identifiers

No identifiers captured yet.

Papers (8)

1. Agile Network Access Control in the Container Age cs.NI · 2019 · author #1
2. Provably Secure Networks: Methodology and Toolset for Configuration Management cs.NI · 2017 · author #1
3. Privacy Assessment of Software Architectures based on Static Taint Analysis cs.CR · 2016 · author #2
4. Adaptive Load-Aware Sampling for Network Monitoring on Multicore Commodity Hardware cs.NI · 2016 · author #2
5. Demonstrating topoS: Theorem-Prover-Based Synthesis of Secure Network Configurations cs.NI · 2016 · author #1
6. Semantics-Preserving Simplification of Real-World Firewall Rule Sets cs.CR · 2016 · author #1
7. Verifying Security Policies using Host Attributes cs.CR · 2016 · author #1
8. Certifying Spoofing-Protection of Firewalls cs.CR · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Georg Carle 7 shared papers
• Andreas Korsten 2 shared papers
• Heiko Niedermayer 1 shared papers
• Holger Kinkelin 1 shared papers
• Johannes Naab 1 shared papers
• Lars Hupel 1 shared papers
• Lothar Braun 1 shared papers
• Lukas Schwaighofer 1 shared papers
• Marcel von Maltitz 1 shared papers
• Nils Kammenhuber 1 shared papers
• Oliver Hanka 1 shared papers
• Stephan-A. Posselt 1 shared papers