Demonstrating topoS: Theorem-prover-based synthesis of secure network configurations. - Cornelius Diekmann; Andreas Korsten; Georg Carle (CNSM, 2015)

Investigating the Nature of Routing Anomalies: Closing in on Subprefix Hijacking Attacks. - Johann Schlamp; Ralph Holz; Oliver Gasser; Andreas Korsten; Quentin Jacquemart; Georg Carle; Ernst W. Biersack (TMA, 2015)

Agile Network Access Control in the Container Age. - Cornelius Diekmann; Johannes Naab; Andreas Korsten; Georg Carle (IEEE Trans. Netw. Serv. Manag., 2019)