Cornelius Diekmann
According to our database^{1},
Cornelius Diekmann
authored at least 17 papers
between 2013 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepage:

at orcid.org
On csauthors.net:
Bibliography
2019
Agile Network Access Control in the Container Age.
IEEE Trans. Network and Service Management, 2019
2018
Verified iptables Firewall Analysis and Verification.
J. Autom. Reasoning, 2018
2017
Provably Secure Networks: Methodology and Toolset for Configuration Management.
PhD thesis, 2017
Privacy Assessment Using Static Taint Analysis (Tool Paper).
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017
2016
LOFT  Verified Migration of Linux Firewalls to SDN.
Archive of Formal Proofs, 2016
Routing.
Archive of Formal Proofs, 2016
Simple Firewall.
Archive of Formal Proofs, 2016
IP Addresses.
Archive of Formal Proofs, 2016
Iptables_Semantics.
Archive of Formal Proofs, 2016
Verified iptables firewall analysis.
Proceedings of the 2016 IFIP Networking Conference, 2016
2015
SemanticsPreserving Simplification of RealWorld Firewall Rule Sets.
Proceedings of the FM 2015: Formal Methods, 2015
Certifying spoofingprotection of firewalls.
Proceedings of the 11th International Conference on Network and Service Management, 2015
Demonstrating topoS: Theoremproverbased synthesis of secure network configurations.
Proceedings of the 11th International Conference on Network and Service Management, 2015
2014
Directed Security Policies: A Stateful Network Implementation.
Proceedings of the Proceedings Third International Workshop on Engineering Safety and Security Systems, 2014
Network Security Policy Verification.
Archive of Formal Proofs, 2014
Verifying Security Policies Using Host Attributes.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014
2013
Adaptive loadaware sampling for network monitoring on multicore commodity hardware.
Proceedings of the IFIP Networking Conference, 2013, Brooklyn, 2013