Zeitbewertete Prädikat-Transitions-Netze zur Modellierung, Simulation und Analyse sicherheitskritischer Echtzeitsysteme. - Katharina Hupf (2008)

End-to-End verifizierbare Wahlverfahren in Hinblick auf den Grundsatz der Öffentlichkeit der Wahl. - Katharina Hupf; Anastasia Meletiadou (GI Jahrestagung, 2009)

A Formal IT-Security Model for the Correction and Abort Requirement of Electronic Voting. - Rüdiger Grimm; Katharina Hupf; Melanie Volkamer (Electronic Voting, 2010)