Verification of a Trusted Virtual Security Module

Suchergebnisse

• Abgeschlossen

  EU - STANCE - A Source code analysis Toolbox for software security AssuraNCE

  Tögl, R., Könighofer, R. & Bloem, R.

  1/10/12 → 30/09/15

  Projekt: Forschungsprojekt

  • Source Code Analysis 100%
  • Security Assurance 100%
  • Software Security 100%
  • Program Analysis 100%
  • Economic Aspect 33%

• acTVsM! - Advanced Cryptographic Trusted Virtual Security Module

  Tögl, R., Pirker, M., Niederl, A. & Bloem, R.

  1/04/09 → 31/03/11

  Projekt: Forschungsprojekt

  • Virtualization Platform 100%
  • Application Execution 33%
  • Trusted Platform 33%
  • Encryption Solution 33%
  • External Interface 33%

• Trusted Computing

  Niederl, A., Lipp, P., Hein, D., Vejda, T., Podesser, S., Tögl, R., Dietrich, K., Bratko, H., Winter, J. & Pirker, M.

  1/10/05 → 15/07/19

  Projekt: Arbeitsgebiet

  • Virtualization Platform 100%
  • Computing 100%
  • Critical Infrastructure 50%
  • Successful Attack 50%
  • Waves 50%