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

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

Projekt: Forschungsprojekt



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.
Tatsächlicher Beginn/ -es Ende1/05/1231/05/15


Erkunden Sie die Forschungsthemen, die von diesem Projekt angesprochen werden. Diese Bezeichnungen werden den ihnen zugrunde liegenden Bewilligungen/Fördermitteln entsprechend generiert. Zusammen bilden sie einen einzigartigen Fingerprint.