Katharina Hupf

According to our database, Katharina Hupf authored at least 3 papers between 2008 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

A Formal IT-Security Model for the Correction and Abort Requirement of Electronic Voting.

Rüdiger Grimm, Katharina Hupf, Melanie Volkamer

Proceedings of the Electronic Voting 2010, 2010

2009

End-to-End verifizierbare Wahlverfahren in Hinblick auf den Grundsatz der Öffentlichkeit der Wahl.

Katharina Hupf, Anastasia Meletiadou

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

2008

Zeitbewertete Prädikat-Transitions-Netze zur Modellierung, Simulation und Analyse sicherheitskritischer Echtzeitsysteme.

Katharina Hupf

PhD thesis, 2008