Formale Spezifikation und Verifikation - Ein Überblick. - Helmut Kurth (VIS, 1991)

Limitations of the Approach of Solving a Network's Security Problem with a Firewall. - Stefano Zatti; Refik Molva; Angelo Tosi; Gene Tsudik; Helmut Kurth (ESORICS, 1996)

Security assurance in information systems. - Richard G. Wilsher; Helmut Kurth (SEC, 1996)

Increased Information Flow Needs for High-Assurance Composite Evaluations. - Paul A. Karger; Helmut Kurth (IWIA, 2004)

Certifying Open Source-The Linux Experience. - Kittur S. Shankar; Helmut Kurth (IEEE Secur. Priv., 2004)

Sicher bauen. - Helmut Kurth; Gerald Krummeck (Datenschutz und Datensicherheit, 2019)