Projects

1. Interface Theory for Security and Privacy

   PI: Thomas A. Henzinger, IST Austria

2. Game-Theoretic Models for Blockchain Applications

   PI: Georg Fuchsbauer, TU Wien

3. Logic-based Reasoning for Hyperproperties

   PI: Laura Kovács, TU Wien

4. Quantitative and Probabilistic Security Analysis

   PI: Elisabeth Oswald, Universität Klagenfurt

5. Verification of Side Channel Properties

   PI: Roderick Bloem, TU Graz

6. Cryptographic Techniques for Blockchain Security

   PI: Elena Andreeva, TU Wien

7. Cryptographic Techniques for System Security

   PI: Maria Eichlseder, TU Graz

8. Cross-Layer Security for Blockchain Consensus

   PI: Krzysztof Pietrzak, IST Austria

9. Security and Privacy by Design for Smart Contracts

   PI: Matteo Maffei, TU Wien

10. Secure Blockchains in Network Transition Periods

    PI: Johanna Ullrich, Universität Wien

11. Secure Network and Hardware for Efficient Blockchains

    PI: Georgia Avarikioti, TU Wien

12. Side-Channel Resistant System Design

    PI: Stefan Mangard, TU Graz

13. Cross-Layer Side-Channel Security

    PI: Daniel Gruss, TU Graz

14. Enforcement of Security and Privacy Policies across Multi-Party Code

    PI: Martina Lindorfer, TU Wien