Automatic Generation of Sigma-Protocols. - Endre Bangerter; Thomas Briner; Wilko Henecka; Stephan Krenn; Ahmad-Reza Sadeghi; Thomas Schneider 003 (EuroPKI, 2009)