Efficient and automated security testing methods of industrial relevance for highly secure systems in multiple domains (incl. E.G. Banking, transport or telecommunication).
Raising the productivity and competitiveness of European businesses through technology. Boosting national economies on the international market, and strengthening the basis for sustainable prosperity and employment.