|The AVANTSSAR Project
||The AVANTSSAR Project automated validation of trust and security of service-oriented architectures, STREP project 216471, FP7 THEME ICT-1-1.4, 01.01.08 – 31.12.10
|The AVISPA Project
||Automated Validation of Internet Security Protocols and Applications, Shared-cost RTD (FET open) project, Information Society Technologies Programme (IST), operating within the Fifth Framework Programme,.started on January 1st, 2003.
|The AVISS Project
||Automatic Verification of Infinite State Systems, Information Society Technologies Programme (IST), FET Open Assessment 1-year Project: IST-2000-26410, started May 1st, 2001.