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: Eleftherios Kokoris-Kogias, IST Austria
  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