|
Acknowledgements
The development of the analysis tool framework has been supported
within the following projects:
- Royal Society Joint International Project with TU Munich (Prof. Manfred Broy) on Modelbased Formal Security Analysis of Crypto-Protocol Implementations, Aug. 2007-July 2009. Principal Investigator.
- Royal Society Short Visit program for a visit at TU Munich (Prof. Manfred Broy) in June/July 2007.
- Project Verisoft of the German Ministry of Science
and Technology (BMBF) from July 2003 until July 2005.
- Project
Fairpay of the
German Ministry of Economy from Oct. 2001 until Dec. 2002.
The development of the analysis tool framework and the various
analysis plugins has been carried out from 2001 until 2010 with the
help of many people including the following: Pasha Shabalin, Mark
Yampolskiy, Dimitri Kopjev, Ewgeny Alter, Jörg Schreck, Andreas
Prüglmeier Andreas Gilg, Gergely Kokavecz, Stephan
Schwarzmüller, Shunwei Shen, Teng Chen, Max Raith, Erwin
Yükselgil, Juan Wang, Markus Lehrhuber, Josef Maran, Shasha Meng,
Hristo Gurvanov, Ahmed Messaoudi, Abdelmounaime Barzali.
|