Cornelius Diekmann
Title
Cited by
Cited by
Year
Verified iptables Firewall Analysis
C Diekmann, J Michaelis, M Haslbeck, G Carle
IFIP Networking, 2016
232016
Semantics-preserving simplification of real-world firewall rule sets
C Diekmann, L Hupel, G Carle
International Symposium on Formal Methods, 195-212, 2015
132015
Demonstrating topoS: Theorem-prover-based synthesis of secure network configurations
C Diekmann, A Korsten, G Carle
2015 11th International Conference on Network and Service Management (CNSM …, 2015
112015
Verifying security policies using host attributes
C Diekmann, SA Posselt, H Niedermayer, H Kinkelin, O Hanka, G Carle
International Conference on Formal Techniques for Distributed Objects …, 2014
112014
Adaptive load-aware sampling for network monitoring on multicore commodity hardware
L Braun, C Diekmann, N Kammenhuber, G Carle
2013 IFIP Networking Conference, 1-9, 2013
112013
Verified iptables firewall analysis and verification
C Diekmann, L Hupel, J Michaelis, M Haslbeck, G Carle
Journal of automated reasoning 61 (1-4), 191-242, 2018
82018
Certifying Spoofing-Protection of Firewalls
C Diekmann, L Schwaighofer, G Carle
Network and Service Management (CNSM), 2015 11th International Conference on …, 2015
82015
Directed Security Policies: A Stateful Network Implementation
C Diekmann, L Hupel, G Carle
Proceedings Third International Workshop on Engineering Safety and Security …, 2014
82014
Network security policy verification
C Diekmann
Archive of Formal Proofs. http://afp. sf. net/entries …, 2014
52014
Agile network access control in the container age
C Diekmann, J Naab, A Korsten, G Carle
IEEE Transactions on Network and Service Management 16 (1), 41-55, 2018
42018
Privacy Assessment Using Static Taint Analysis (Tool Paper)
M von Maltitz, C Diekmann, G Carle
International Conference on Formal Techniques for Distributed Objects …, 2017
42017
Routing
J Michaelis, C Diekmann
Archive of Formal Proofs, 2016
42016
IP Addresses
C Diekmann, J Michaelis, L Hupel
Archive of Formal Proofs, Jun, 2016
32016
Simple Firewall
C Diekmann, J Michaelis, M Haslbeck
Archive of Formal Proofs, Aug, 2016
32016
Iptables Semantics
C Diekmann, L Hupel
Archive of Formal Proofs, Sep, 2016
32016
Provably Secure Networks: Methodology and Toolset for Configuration Management
C Diekmann
arXiv preprint arXiv:1708.08228, 2017
22017
Taint Analysis for System-Wide Privacy Audits: A Framework and Real-World Case Studies
M von Maltitz, C Diekmann, G Carle
arXiv preprint arXiv:1608.04671, 2016
22016
LOFT–Verified Migration of Linux Firewalls to SDN
J Michaelis, C Diekmann
Archive of Formal Proofs, Oct, 2016
22016
Naming network interfaces
C Diekmann
PoC|| GTFO: Pastor Laphroaig Races the Runtime Relinker and Other True Tales …, 2017
12017
Privacy Assessment of Software Architectures based on Static Taint Analysis
M von Maltitz, C Diekmann, G Carle
arXiv preprint arXiv:1608.04671, 2016
12016
The system can't perform the operation now. Try again later.
Articles 1–20