Annalisa Cimatti Cryptology and Data Security E-Mail annalisa.cimatti@unibe.ch Büro 114 Postadresse Neubrückstrasse 10 3012 Bern