19 citations · 23 across the 2 of their papers we have counts for
2 papers
cs.NI2019★ 19 cited
Agile Network Access Control in the Container Age
Cornelius Diekmann, Johannes Naab, Andreas Korsten +1
Linux Containers, such as those managed by Docker, are an increasingly popular way to package and deploy complex applications. However, the fundamental security primitive of networ…
cs.NI2016★ 4 cited
Demonstrating topoS: Theorem-Prover-Based Synthesis of Secure Network Configurations
Cornelius Diekmann, Andreas Korsten, Georg Carle
In network management, when it comes to security breaches, human error constitutes a dominant factor. We present our tool topoS which automatically synthesizes low-level network co…