Katharina Hupf

	2010
3		Rüdiger Grimm, Katharina Hupf, Melanie Volkamer: A Formal IT-Security Model for the Correction and Abort Requirement of Electronic Voting. Electronic Voting 2010: 89-107
	2009
2		Katharina Hupf, Anastasia Meletiadou: End-to-End verifizierbare Wahlverfahren in Hinblick auf den Grundsatz der Öffentlichkeit der Wahl. GI Jahrestagung 2009: 1847-1855
	2008
1		Katharina Hupf: Zeitbewertete Prädikat-Transitions-Netze zur Modellierung, Simulation und Analyse sicherheitskritischer Echtzeitsysteme. University of Koblenz-Landau 2008

Coauthor Index

1	Rüdiger Grimm	[3]
2	Anastasia Meletiadou	[2]
3	Melanie Volkamer	[3]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page