Technische Universität Wien
Institut für Informationssysteme

Adresse Favoritenstraße 9-11
1040 Wien
Österreich

1040 Wien

Projekte

Emmy Noether-Nachwuchsgruppen
- abgeschlossene Projekte
  - Formal methods for the verification and design of modern cryptographic applications
    (Antragsteller Maffei, Ph.D., Matteo )
Sachbeihilfen
- abgeschlossene Projekte
  - FORTAS is developing methods to analyze the timing behavior of real-time software by systematic and formally well-founded testing
    (Antragsteller Veith, Helmut )
  - Neue Werkzeuge für graphenbasierte formale Argumentation
    (Antragsteller Brewka, Gerhard )
Sonderforschungsbereiche
- abgeschlossene Projekte
  - Anonyme und zensurresistente Kommunikation
    (Teilprojektleiter Maffei, Ph.D., Matteo ; Rossow, Christian )
  - Privacyfreundliche Datenanalyse
    (Teilprojektleiter Francis, Ph.D., Paul ; Maffei, Ph.D., Matteo )
  - Privacyfreundliches Speichern in der Cloud
    (Teilprojektleiter Backes, Michael ; Maffei, Ph.D., Matteo ; Schröder, Dominique )