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

  • Röck, Franz (Co-Investigator (CoI))
  • Unterluggauer, Thomas (Co-Investigator (CoI))
  • Könighofer, Robert (Co-Investigator (CoI))
  • Mangard, Stefan (Co-Investigator (CoI))
  • Wenger, Erich (Co-Investigator (CoI))
  • Spreitzer, Raphael Christian (Co-Investigator (CoI))
  • Mendel, Florian (Co-Investigator (CoI))
  • Schmidt, Jörn-Marc (Principal Investigator (PI))
  • Bloem, Roderick (Principal Investigator (PI))

Project: Research project

Project Details


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.
Effective start/end date1/05/1231/05/15


Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.