A Nitpicker's guide to a minimal-complexity secure GUI. - Norman Feske; Christian Helmuth (ACSAC, 2005)

The Nizza secure-system architecture. - Hermann Härtig; Michael Hohmuth; Norman Feske; Christian Helmuth; Adam Lackorzynski; Frank Mehnert; Michael Peter (CollaborateCom, 2005)

Reducing TCB complexity for security-sensitive applications: three case studies. - Lenin Singaravelu; Calton Pu; Hermann Härtig; Christian Helmuth (EuroSys, 2006)