Cornelius Diekmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2013–2017
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | FORTE | Privacy Assessment Using Static Taint Analysis (Tool Paper). | Marcel von Maltitz, Cornelius Diekmann, Georg Carle |
| 2016 | Networking | Verified iptables firewall analysis. | Cornelius Diekmann, Julius Michaelis, Max W. Haslbeck, Georg Carle |
| 2015 | CNSM | Demonstrating topoS: Theorem-prover-based synthesis of secure network configurations. | Cornelius Diekmann, Andreas Korsten, Georg Carle |
| 2015 | CNSM | Certifying spoofing-protection of firewalls. | Cornelius Diekmann, Lukas Schwaighofer, Georg Carle |
| 2015 | FM | Semantics-Preserving Simplification of Real-World Firewall Rule Sets. | Cornelius Diekmann, Lars Hupel, Georg Carle |
| 2014 | FORTE | Verifying Security Policies Using Host Attributes. | Cornelius Diekmann, Stephan-Alexander Posselt, Heiko Niedermayer, Holger Kinkelin, Oliver Hanka, Georg Carle |
| 2013 | Networking | Adaptive load-aware sampling for network monitoring on multicore commodity hardware. | Lothar Braun, Cornelius Diekmann, Nils Kammenhuber, Georg Carle |