NewP@ass - New verification & valdidation methods enabling widespread use of Privacy and @nonymity in electronically secured systems

The NewP@ss project aims to research radically new methodologies for formal verification and validation of complex security relevant system components and will deliver a prototype of a test generation software based on formal models of a secure operating system and application. In parallel privacy preserving algorithms and protocols and their impact on the underlying hardware platform will be researched while the awareness for privacy assets in the security engineering process shall be improved and first steps towards formal verification of privacy shall be researched. Standardized test procedures for fastest, reliable and interoperable communication with security components in eGovernment and eID documents shall be defined to support the management of ever increasing complexity in future trustworthy security and privacy relevant applications.