Andreas Korsten

Demonstrating topoS: Theorem-prover-based synthesis of secure network configurations

Georg Carle, Cornelius Diekmann, Andreas Korsten, 2015, 2015 11th International Conference on Network and Service Management (CNSM).

Agile Network Access Control in the Container Age

Georg Carle, Cornelius Diekmann, Johannes Naab, 2019, IEEE Transactions on Network and Service Management.

Investigating the Nature of Routing Anomalies: Closing in on Subprefix Hijacking Attacks

Georg Carle, Ralph Holz, Ernst W. Biersack, 2015, TMA.