Past contributors to the AVISPA Project

• Shane Bracher
  • Affiliation: Bond University
  • Topics covered: HLPSL Tutorial
  • Period: April, 2005
  • E-mail: SBracher at student dot bond dot edu dot au
• Mohamed Mehdi Bouallagui
  • Affiliation: LORIA-INRIA-Lorraine
  • Topics covered: HPSL2IF translator development
  • Period: January, 2003 - December, 2003
  • Currently at: KOTIO, France
• Claudio Castellini
  • Affiliation: University of Edinburgh and AI-Lab
  • Topics covered: Project Coordination
  • Period: January, 2003 - December, 2004
  • Currently at: LIRA-Lab, University of Genova
  • E-mail: claudio dot castellini at unige dot it
  • www: http://people.lira.dist.unige.it/drwho/
• Lan Liu
  • Affiliation: University of Karlsruhe
  • Topics covered: Analyzing Web Service Protocols with the AVISPA approach
  • Period: January, 2005 - July 2005
  • Now at: Siemens AG
  • E-mail: lan dot liu at gmx dot de
• Daniel Plasto
  • Affiliation: Bond University
  • Topics covered: HLPSL, protocol modeling and analysis
  • Period: April, 2004 - September, 2004
  • Currently at: Eracom Technologies
  • E-mail: dplasto at gmail dot com
• Vishal Sankhla
  • Affiliation: University of Southern California
  • Topics covered: HLPSL, protocol modeling and analysis
  • Period: January, 2004 - August, 2004
  • Currently at: Devicescape Software Inc., Brisbane, CA.
  • E-mail: vishal dot sankhla at gmail dot com
• Murugaraj Shanmugam
  • Affiliation: Technical University of Hamburg-Harburg
  • Topics covered: HLPSL, protocol modeling and analysis
  • Period: September, 2004 - June, 2005
  • Now at: Siemens AG
  • E-mail: murugaraj dot shanmugam at siemens dot com
  • www: http://www.tuhh.de/~soms0848
• Graham Steel
  • Affiliation: University of Edinburgh
  • Topics covered: HLPSL, protocol modeling
  • Period: June, 2004 - September, 2004
  • Currently at: University of Edinburgh
  • E-mail: graham dot steel at ed dot ac dot uk
  • www: http://homepages.inf.ed.ac.uk/gsteel/
• Haykal Tej
  • Affiliation: Siemens AG
  • Topics covered: HLPSL, protocol modeling and analysis
  • Period: January, 2003 - October, 2003
  • Currently at: Siemens AG
  • E-mail: haykal dot tej at siemens dot com
• Peter Warkentin
  • Affiliation: Siemens AG
  • Topics covered: HLPSL, protocol modeling and analysis
  • Period: until July, 2005
  • Currently at: OneSpin Solutions
  • E-mail:Peter dot Warkentin at onespin-solutions dot com