Technische Universität Wien
Institut für Informationssysteme
Address
Favoritenstraße 9-11
1040 Wien
Österreich
1040 Wien
Projects
Emmy Noether 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
)
