Annalisa Cimatti

Cryptology and Data Security Group
Institute of Computer Science
University of Bern
Neubrückstrasse 10
3012 Bern, Switzerland

Office 114
annalisa.cimatti@unibe.ch