Andreas Schlosser

Andreas Schlosser is a research assistent at the Chair for Programming Methodology, Department for Computer Science, Technical University Darmstadt. During his diploma thesis, completed at the IT Transfer Office at TU Darmstadt, he worked on the simulation of reputation systems. He developed an extensible framework for gauging the efficiency of reputation systems. Currently, he is working towards a PhD-degree. His research interests switched to program verification, automated theorem proving and formal methods for security. He is involved in the development of VeriFun, a semi-automated theorem prover.

Department of Computer Science
Darmstadt University of Technology
Germany

Email: schlosser@informatik.tu-darmstadt.de

---

Marco Voss

Marco Voss is a PhD student working at the department of Computer Science located at the University of Technology of Darmstadt, Germany. He received a Diploma degree in Computer Science in the year 2000. His research is focused on security and trust in dynamic distributed systems.

Department of Computer Science
Darmstadt University of Technology
Hochschulstrasse 10
Darmstadt, Germany
64289
Germany

Email: voss@ito.tu-darmstadt.de
Web: http://www.ito.tu-darmstadt.de

---

Lars Brückner

Lars Brueckner is a research assistant at the Darmstadt University of Technology. Germany. His research interests include privacy, data protection and security.

Department of Computer Science
Darmstadt University of Technology
Germany