Annalisa Cimatti Cryptology and Data Security E-Mail annalisa.cimatti@unibe.ch Office 114 Postal Address Neubrückstrasse 10 3012 Bern