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.