Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Technische Universität Wien
Institut für Informationssysteme

Address Favoritenstraße 9-11
1040 Wien
Österreich

1040 Wien

Projects

Independent Junior Research Groups
- Completed projects
  - Formal methods for the verification and design of modern cryptographic applications
    (Applicant Maffei, Ph.D., Matteo )
Research Grants
- Completed projects
  - Advanced Tools for Graph-Based Formal Argumentation
    (Applicant Brewka, Gerhard )
  - FORTAS is developing methods to analyze the timing behavior of real-time software by systematic and formally well-founded testing
    (Applicant Veith, Helmut )
Collaborative Research Centres
- Completed projects
  - Anonymous and Censorship-Resistant Communication
    (Project Heads Maffei, Ph.D., Matteo ; Rossow, Christian )
  - Privacy-Friendly Data Analytics
    (Project Heads Francis, Ph.D., Paul ; Maffei, Ph.D., Matteo )
  - Privacy-Preserving Cloud Storage
    (Project Heads Backes, Michael ; Maffei, Ph.D., Matteo ; Schröder, Dominique )

© 2024 DFG Disclaimer / Copyright / Privacy Policy