• Skip to content (access key 1)
  • Skip to search (access key 7)
FWF — Austrian Science Fund
  • Go to overview page Discover

    • Research Radar
      • Research Radar Archives 1974–1994
      • Open API
    • Discoveries
      • Emmanuelle Charpentier
      • Adrian Constantin
      • Monika Henzinger
      • Ferenc Krausz
      • Wolfgang Lutz
      • Walter Pohl
      • Christa Schleper
      • Elly Tanaka
      • Anton Zeilinger
    • Impact Stories
      • Verena Gassner
      • Wolfgang Lechner
      • Birgit Mitter
      • Oliver Spadiut
      • Georg Winter
    • scilog Magazine
    • Austrian Science Awards
      • FWF Wittgenstein Awards
      • FWF ASTRA Awards
      • FWF START Awards
      • Award Ceremony
    • excellent=austria
      • Clusters of Excellence
      • Emerging Fields
    • In the Spotlight
      • 40 Years of Erwin Schrödinger Fellowships
      • Quantum Austria
    • Dialogs and Talks
      • think.beyond Summit
    • Knowledge Transfer Events
    • E-Book Library
  • Go to overview page Funding

    • Portfolio
      • excellent=austria
        • Clusters of Excellence
        • Emerging Fields
      • Projects
        • Principal Investigator Projects
        • Principal Investigator Projects International
        • Clinical Research
        • 1000 Ideas
        • Arts-Based Research
        • FWF Wittgenstein Award
      • Careers
        • ESPRIT
        • FWF ASTRA Awards
        • Erwin Schrödinger
        • doc.funds
        • doc.funds.connect
      • Collaborations
        • Specialized Research Groups
        • Special Research Areas
        • Research Groups
        • International – Multilateral Initiatives
        • #ConnectingMinds
      • Communication
        • Top Citizen Science
        • Science Communication
        • Book Publications
        • Digital Publications
        • Open-Access Block Grant
      • Subject-Specific Funding
        • Belmont Forum
        • ERA-NET HERA
        • ERA-NET NORFACE
        • ERA-NET QuantERA
        • Alternative Methods to Animal Testing
        • European Partnership BE READY
        • European Partnership Biodiversa+
        • European Partnership BrainHealth
        • European Partnership ERA4Health
        • European Partnership ERDERA
        • European Partnership EUPAHW
        • European Partnership FutureFoodS
        • European Partnership OHAMR
        • European Partnership PerMed
        • European Partnership Water4All
        • Gottfried and Vera Weiss Award
        • LUKE – Ukraine
        • netidee SCIENCE
        • Herzfelder Foundation Projects
        • Quantum Austria
        • Rückenwind Funding Bonus
        • TRANSCAN
        • WE&ME Award
        • Zero Emissions Award
      • International Collaborations
        • Belgium/Flanders
        • Germany
        • France
        • Italy/South Tyrol
        • Japan
        • Korea
        • Luxembourg
        • Poland
        • Switzerland
        • Slovenia
        • Taiwan
        • Tyrol-South Tyrol-Trentino
        • Czech Republic
        • Hungary
    • Step by Step
      • Find Funding
      • Submitting Your Application
      • International Peer Review
      • Funding Decisions
      • Carrying out Your Project
      • Closing Your Project
      • Further Information
        • Integrity and Ethics
        • Inclusion
        • Applying from Abroad
        • Personnel Costs
        • PROFI
        • Final Project Reports
        • Final Project Report Survey
    • FAQ
      • Project Phase PROFI
      • Project Phase Ad Personam
      • Expiring Programs
        • Elise Richter and Elise Richter PEEK
        • FWF START Awards
        • AI Mission Austria
  • Go to overview page About Us

    • Mission Statement
    • FWF Video
    • Values
    • Facts and Figures
    • Annual Report
    • What We Do
      • Research Funding
        • Matching Funds Initiative
      • International Collaborations
      • Studies and Publications
      • Equal Opportunities and Diversity
        • Objectives and Principles
        • Measures
        • Creating Awareness of Bias in the Review Process
        • Terms and Definitions
        • Your Career in Cutting-Edge Research
      • Open Science
        • Open-Access Policy
          • Open-Access Policy for Peer-Reviewed Publications
          • Open-Access Policy for Peer-Reviewed Book Publications
          • Open-Access Policy for Research Data
        • Research Data Management
        • Citizen Science
        • Open Science Infrastructures
        • Open Science Funding
      • Evaluations and Quality Assurance
      • Academic Integrity
      • Science Communication
      • Philanthropy
      • Sustainability
    • History
    • Legal Basis
    • Organization
      • Executive Bodies
        • Executive Board
        • Supervisory Board
        • Assembly of Delegates
        • Scientific Board
        • Juries
      • FWF Office
    • Jobs at FWF
  • Go to overview page News

    • News
    • Press
      • Logos
    • Calendar
      • Post an Event
      • FWF Informational Events
    • Job Openings
      • Enter Job Opening
    • Newsletter
  • Discovering
    what
    matters.

    FWF-Newsletter Press-Newsletter Calendar-Newsletter Job-Newsletter scilog-Newsletter

    SOCIAL MEDIA

    • LinkedIn, external URL, opens in a new window
    • , external URL, opens in a new window
    • Facebook, external URL, opens in a new window
    • Instagram, external URL, opens in a new window
    • YouTube, external URL, opens in a new window

    SCILOG

    • Scilog — The science magazine of the Austrian Science Fund (FWF)
  • elane login, external URL, opens in a new window
  • Scilog external URL, opens in a new window
  • de Wechsle zu Deutsch

  

SPyCODE

Matteo Maffei (ORCID: 0000-0001-8061-1685)
  • Grant DOI 10.55776/F85
  • Funding program Special Research Areas
  • Status ongoing
  • Start January 1, 2023
  • End December 31, 2026
  • Funding amount € 4,417,704

Disciplines

Computer Sciences (100%)

Keywords

  • Blockchain,
  • Game Theory,
  • Modeling
Abstract

Social networks, online shopping, digital payments and many other applications of modern Information and Communication Technologies (ICTs) have become common practice. Unfortunately, not all users understand the importance and complexity of protecting the data collected by modern systems, nor the impact of security leaks on their daily lives. Although security and privacy are inalienable human rights, state-of-the-art technologies are inadequate to ensure these rights, as the number of cyber-attacks show. The fundamental problem is that modern ICTs have become more and more complex, featuring multiple components, whose dependencies are crucial for security and privacy purposes. The overarching goal of SPyCode is to create the technological foundations to realize the principle of security and privacy by design, which is advocated in the new European General Data Protection Regulation. As security and privacy are central pillars in digitalization, data protection should be considered since the early design of information systems. The key idea is to protect the interfaces between the components of modern ICTs, thereby untangling their inherent complexity. This is accomplished by a new, groundbreaking methodology to secure ICTs and user data. As part of an interdisciplinary research effort, 14 projects develop and combine mathematical methods, formal logic, design approaches, cryptography, and verification techniques to provide highest data security. A unique feature of SPyCoDe is the combination of world-class basic research on this burning topic with immediate impact on society and industry. SpyCoDe is focused on a variety of core systems and applications that are being used on a daily basis in todays digital society. In particular, special attention is given to processors, mobile applications, blockchains and smart contracts. Besides new technologies, SPyCoDe will also raise and educate a generation of specialists in this crucial area. SpyCoDe unites the efforts of 5 Austrian institutions. The project coordinator is Matteo Maffei from TU Wien. The members of the research network are TU Wien (E. Andreeva, G. Fuchsbauer, L. Kovacs, M. Lindorfer, M. Maffei), Graz University of Technology (R. Bloem, M. Eichlseder, D. Gruss, S. Mangard), Institute of Science and Technology Austria (T.A. Henzinger, E. Kokoris-Kogia, K. Pietrzak), Alpen-Adria University of Klagenfurt (E. Oswald), and University of Vienna (J. Ullrich). The SpyCoDe consortium is in a unique position to implement this challenging research program with scientific excellence, academic collaboration, promoting young scientists and building a gender-balanced, diverse scientific community. The team includes worldwide experts from all core disciplines of SPyCoDe, including 7 ERC grant holders, 6 young researchers having already received prestigious awards, and over 40% being female researchers.

Consortium
  • Chitchanok Chuengsatiansup, Universität Klagenfurt
    consortium member (01.01.2023 -)
  • Daniel Gruss, Technische Universität Graz
    consortium member (01.01.2023 -)
  • Elena Andreeva, Technische Universität Wien
    consortium member (01.01.2023 -)
  • Georg Fuchsbauer, Technische Universität Wien
    consortium member (01.01.2023 -)
  • Georgia (Zeta) Avarikioti, Technische Universität Wien
    consortium member (01.01.2023 -)
  • Johanna Ullrich, IT U Interdisciplinary Transformation University Austria
    consortium member (01.01.2023 -)
  • Krzysztof Pietrzak, Institute of Science and Technology Austria - ISTA
    consortium member (01.01.2023 -)
  • Laura Kovacs, Technische Universität Wien
    consortium member (01.01.2023 -)
  • Maria Eichlseder, Technische Universität Graz
    consortium member (01.01.2023 -)
  • Martina Lindorfer, Technische Universität Wien
    consortium member (01.01.2023 -)
  • Matteo Maffei, Technische Universität Wien
    coordinator (01.01.2023 -)
  • Roderick Bloem, Technische Universität Graz
    consortium member (01.01.2023 -)
  • Stefan Mangard, Technische Universität Graz
    consortium member (01.01.2023 -)
  • Thomas A. Henzinger, Institute of Science and Technology Austria - ISTA
    consortium member (01.01.2023 -)
Research institution(s)
  • Technische Universität Wien

Research Output

  • 369 Citations
  • 122 Publications
  • 2 Policies
  • 2 Artistic Creations
  • 8 Methods & Materials
  • 3 Datasets & models
  • 10 Software
  • 88 Disseminations
  • 132 Scientific Awards
  • 20 Fundings
Publications
  • 2025
    Title Space-Deniable Proofs
    DOI 10.1007/978-3-032-12290-2_6
    Type Book Chapter
    Author Dujmovic J
    Publisher Springer Nature
    Pages 171-202
  • 2025
    Title Constrained Verifiable Random Functions Without Obfuscation and Friends
    DOI 10.1007/978-3-032-12290-2_16
    Type Book Chapter
    Author Brandt N
    Publisher Springer Nature
    Pages 478-511
  • 2025
    Title Wanilla: Sound Noninterference Analysis for WebAssembly
    DOI 10.1145/3719027.3765156
    Type Conference Proceeding Abstract
    Author Scherer M
    Pages 126-140
    Link Publication
  • 2025
    Title Tracking Internet Disruptions in Ukraine: Insights from Three Years of Active Full Block Scans
    DOI 10.1145/3730567.3764449
    Type Conference Proceeding Abstract
    Author Holzbauer F
    Pages 474-492
    Link Publication
  • 2025
    Title Privacy-Preserving Runtime Verification
    DOI 10.1145/3719027.3765137
    Type Conference Proceeding Abstract
    Author Henzinger T
    Pages 2774-2787
    Link Publication
  • 2025
    Title Profile Coverage: Using Android Compilation Profiles to Evaluate Dynamic Testing
    DOI 10.1109/ase63991.2025.00080
    Type Conference Proceeding Abstract
    Author Bleier J
    Pages 906-918
  • 2025
    Title Hypernode automata
    DOI 10.1007/s00236-025-00509-8
    Type Journal Article
    Author Bartocci E
    Journal Acta Informatica
    Pages 43
    Link Publication
  • 2025
    Title Alba: The Dawn of Scalable Bridges for Blockchains
    DOI 10.14722/ndss.2025.241286
    Type Conference Proceeding Abstract
    Author Scaffino G
    Link Publication
  • 2025
    Title CounterSEVeillance: Performance-Counter Attacks on AMD SEV-SNP
    DOI 10.14722/ndss.2025.241038
    Type Conference Proceeding Abstract
    Author Gast S
    Link Publication
  • 2025
    Title KernelSnitch: Side Channel-Attacks on Kernel Data Structures
    DOI 10.14722/ndss.2025.240223
    Type Conference Proceeding Abstract
    Author Maar L
    Link Publication
  • 2025
    Title Secret Spilling Drive: Leaking User Behavior through SSD Contention
    DOI 10.14722/ndss.2025.230208
    Type Conference Proceeding Abstract
    Author Juffinger J
    Link Publication
  • 2026
    Title Parameterized Infinite-State Reactive Synthesis
    DOI 10.1145/3776726
    Type Journal Article
    Author Bloem R
    Journal Proceedings of the ACM on Programming Languages
  • 2026
    Title Multivariate Leakage Detection
    DOI 10.46586/tches.v2026.i2.296-324
    Type Journal Article
    Author Chowdhury A
    Journal IACR Transactions on Cryptographic Hardware and Embedded Systems
  • 2026
    Title Synthesis Benchmarks for Automated Reasoning; In: Intelligent Computer Mathematics - 18th International Conference, CICM 2025, Brasilia, Brazil, October 6-10, 2025, Proceedings
    DOI 10.1007/978-3-032-07021-0_2
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2026
    Title Blink: An Optimal Proof ofProof-of-Work; In: Financial Cryptography and Data Security - 29th International Conference, FC 2025, Miyakojima, Japan, April 14-18, 2025, Revised Selected Papers, Part II
    DOI 10.1007/978-3-032-07035-7_11
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2026
    Title Anthemius: Efficient andModular Block Assembly forConcurrent Execution; In: Financial Cryptography and Data Security - 29th International Conference, FC 2025, Miyakojima, Japan, April 14-18, 2025, Revised Selected Papers, Part I
    DOI 10.1007/978-3-032-07024-1_18
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2026
    Title On the(in)security ofProofs-of-Space Based Longest-Chain Blockchains; In: Financial Cryptography and Data Security - 29th International Conference, FC 2025, Miyakojima, Japan, April 14-18, 2025, Revised Selected Papers, Part II
    DOI 10.1007/978-3-032-07035-7_8
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2026
    Title X-Transfer: Enabling andOptimizing Cross-PCN Transactions; In: Financial Cryptography and Data Security - 29th International Conference, FC 2025, Miyakojima, Japan, April 14-18, 2025, Revised Selected Papers, Part I
    DOI 10.1007/978-3-032-07024-1_5
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2026
    Title Multiforked Iterated Even-Mansour andaNote ontheTightness ofIEM Proofs; In: Selected Areas in Cryptography - SAC 2025 - 32nd International Conference, Toronto, ON, Canada, August 13-15, 2025, Revised Selected Papers
    DOI 10.1007/978-3-032-10536-3_7
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2026
    Title Efficient SPA Countermeasures Using Redundant Number Representation withApplication toML-KEM; In: Selected Areas in Cryptography - SAC 2025 - 32nd International Conference, Toronto, ON, Canada, August 13-15, 2025, Revised Selected Papers
    DOI 10.1007/978-3-032-10536-3_28
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2025
    Title Information-flow interfaces.
    DOI 10.1007/s10703-024-00447-0
    Type Journal Article
    Author Bartocci E
    Journal Formal methods in system design
    Pages 3-48
  • 2025
    Title Remote Scheduler Contention Attacks; In: Financial Cryptography and Data Security - 28th International Conference, FC 2024, Willemstad, Curaçao, March 4-8, 2024, Revised Selected Papers, Part I
    DOI 10.1007/978-3-031-78676-1_21
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2024
    Title CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model
    DOI 10.1109/sp54263.2024.00246
    Type Conference Proceeding Abstract
    Author Jeanteur S
    Pages 3165-3183
  • 2024
    Title OAE-RUP: A Strong Online AEAD Security Notion and Its Application to SAEF
    DOI 10.1007/978-3-031-71073-5_6
    Type Book Chapter
    Author Bhati A
    Publisher Springer Nature
    Pages 117-139
    Link Publication
  • 2024
    Title Finding Complete Impossible Differential Attacks on AndRX Ciphers and Efficient Distinguishers for ARX Designs
    DOI 10.46586/tosc.v2024.i3.84-176
    Type Journal Article
    Author Chakraborty D
    Journal IACR Transactions on Symmetric Cryptology
    Pages 84-176
    Link Publication
  • 2024
    Title Musketeer: Incentive-Compatible Rebalancing for Payment Channel Networks
    Type Conference Proceeding Abstract
    Author Avarikioti Z.
    Conference 6th Conference on Advances in Financial Technologies (AFT 2024)
    Pages 13:1--13:22
    Link Publication
  • 2024
    Title Bribe & Fork: Cheap PCN Bribing Attacks via Forking Threat
    Type Conference Proceeding Abstract
    Author Avarikioti Z
    Conference Advances in Financial Technologies (AFT)
    Pages 11:1--11:22
    Link Publication
  • 2024
    Title Securing Lightning Channels against Rational Miners
    DOI 10.1145/3658644.3670373
    Type Conference Proceeding Abstract
    Author Aumayr L
    Pages 393-407
    Link Publication
  • 2024
    Title On Security Proofs of Existing Equivalence Class Signature Schemes
    DOI 10.1007/978-981-96-0888-1_1
    Type Book Chapter
    Author Bauer B
    Publisher Springer Nature
    Pages 3-37
  • 2024
    Title IdleLeak: Exploiting Idle State Side Effects for Information Leakage
    DOI 10.14722/ndss.2024.24078
    Type Conference Proceeding Abstract
    Author Rauscher F
    Link Publication
  • 2024
    Title Cryptanalysis of QARMAv2
    DOI 10.46586/tosc.v2024.i1.188-213
    Type Journal Article
    Author Hadipour H
    Journal IACR Transactions on Symmetric Cryptology
    Pages 188-213
    Link Publication
  • 2024
    Title Improved Search for Integral, Impossible Differential and Zero-Correlation Attacks: Application to Ascon, ForkSKINNY, SKINNY, MANTIS, PRESENT and QARMAv2
    DOI 10.46586/tosc.v2024.i1.234-325
    Type Journal Article
    Author Hadipour H
    Journal IACR Transactions on Symmetric Cryptology
    Pages 234-325
    Link Publication
  • 2024
    Title Masked Iterate-Fork-Iterate: A New Design Paradigm for Tweakable Expanding Pseudorandom Function
    DOI 10.1007/978-3-031-54773-7_17
    Type Book Chapter
    Author Andreeva E
    Publisher Springer Nature
    Pages 433-459
    Link Publication
  • 2025
    Title An Analysis of HMB-based SSD Rowhammer
    DOI 10.46586/uasc.2025.003
    Type Journal Article
    Author Juffinger J
    Journal Proceedings of the Microarchitecture Security Conference
    Link Publication
  • 2025
    Title AutoDiVer: Automatically Verifying Differential Characteristics and Learning Key Conditions
    DOI 10.46586/tosc.v2025.i1.471-514
    Type Journal Article
    Author Nageler M
    Journal IACR Transactions on Symmetric Cryptology
    Pages 471-514
    Link Publication
  • 2025
    Title Optimizing virtual payment channel establishment in the face of on-path adversaries
    DOI 10.1016/j.comcom.2025.108155
    Type Journal Article
    Author Aumayr L
    Journal Computer Communications
    Pages 108155
    Link Publication
  • 2025
    Title On Loopy Belief Propagation for SASCAs
    DOI 10.62056/ayl8ksdja
    Type Journal Article
    Author Nagpal R
    Journal IACR Communications in Cryptology
    Link Publication
  • 2025
    Title Real-World Study of the Security of Educational Test Systems
    DOI 10.1109/eurospw67616.2025.00074
    Type Conference Proceeding Abstract
    Author Gast S
    Pages 588-599
  • 2025
    Title SoK: Hardening Techniques in the Mobile Ecosystem — Are We There Yet?
    DOI 10.1109/eurosp63326.2025.00050
    Type Conference Proceeding Abstract
    Author Steinböck M
    Pages 789-806
    Link Publication
  • 2025
    Title Monitoring Hypernode Logic Over Infinite Domains
    DOI 10.1007/978-3-032-05435-7_23
    Type Book Chapter
    Author Chalupa M
    Publisher Springer Nature
    Pages 417-437
  • 2025
    Title Term Ordering Diagrams
    DOI 10.1007/978-3-031-99984-0_29
    Type Book Chapter
    Author Hajdu M
    Publisher Springer Nature
    Pages 552-569
    Link Publication
  • 2025
    Title Partial Redundancy in Saturation
    DOI 10.1007/978-3-031-99984-0_28
    Type Book Chapter
    Author Hajdu M
    Publisher Springer Nature
    Pages 532-551
  • 2025
    Title Schnorr Signatures are Tightly Secure in the ROM Under a Non-interactive Assumption
    DOI 10.1007/978-3-032-01887-8_8
    Type Book Chapter
    Author Cho G
    Publisher Springer Nature
    Pages 223-255
  • 2025
    Title Breaking the IEEE Encryption Standard XCB-AES in Two Queries
    DOI 10.1007/978-3-032-01901-1_6
    Type Book Chapter
    Author Bhati A
    Publisher Springer Nature
    Pages 172-199
  • 2025
    Title Fast and Efficient Secure L1 Caches for SMT
    DOI 10.1007/978-3-032-00627-1_6
    Type Book Chapter
    Author Giner L
    Publisher Springer Nature
    Pages 106-126
  • 2025
    Title Gray-box runtime enforcement of hyperproperties
    DOI 10.1007/s00236-025-00502-1
    Type Journal Article
    Author Hsu T
    Journal Acta Informatica
    Pages 30
    Link Publication
  • 2025
    Title Sonikku: Gotta Speed, Keed! A Family of Fast and Secure MACs
    DOI 10.1007/978-981-95-4434-9_6
    Type Book Chapter
    Author Bhati A
    Publisher Springer Nature
    Pages 120-141
    Link Publication
  • 2025
    Title Game Modeling of Blockchain Protocols
    DOI 10.1007/978-3-032-10794-7_18
    Type Book Chapter
    Author Rain S
    Publisher Springer Nature
    Pages 359-377
  • 2025
    Title On Solving String Equations via Powers and Parikh Images
    DOI 10.1007/978-3-032-06085-3_7
    Type Book Chapter
    Author Eisenhofer C
    Publisher Springer Nature
    Pages 120-138
    Link Publication
  • 2025
    Title Constraint Learning for Non-confluent Proof Search
    DOI 10.1007/978-3-032-06085-3_6
    Type Book Chapter
    Author Rawson M
    Publisher Springer Nature
    Pages 103-119
    Link Publication
  • 2025
    Title Finding Connections via Satisfiability Solving
    DOI 10.1007/978-3-032-06085-3_5
    Type Book Chapter
    Author Eisenhofer C
    Publisher Springer Nature
    Pages 82-102
    Link Publication
  • 2025
    Title Zero-Click SnailLoad: From Minimal to No User Interaction
    DOI 10.1007/978-3-032-07901-5_6
    Type Book Chapter
    Author Gast S
    Publisher Springer Nature
    Pages 106-125
  • 2025
    Title Divide and Conquer: A Compositional Approach to Game-Theoretic Security
    DOI 10.1145/3763120
    Type Journal Article
    Author Bocevska I
    Journal Proceedings of the ACM on Programming Languages
    Pages 1949-1973
    Link Publication
  • 2025
    Title PolySAT: Word-level Bit-vector Reasoning in Z3
    DOI 10.1007/978-3-031-86695-1_4
    Type Book Chapter
    Author Rath J
    Publisher Springer Nature
    Pages 47-69
  • 2025
    Title Cohere+Reload: Re-enabling High-Resolution Cache Attacks on AMD SEV-SNP
    DOI 10.1007/978-3-031-97620-9_11
    Type Book Chapter
    Author Giner L
    Publisher Springer Nature
    Pages 191-212
  • 2025
    Title The HMB Timing Side Channel: Exploiting the SSD’s Host Memory Buffer
    DOI 10.1007/978-3-031-97620-9_10
    Type Book Chapter
    Author Juffinger J
    Publisher Springer Nature
    Pages 169-190
  • 2025
    Title The Vampire Diary
    DOI 10.1007/978-3-031-98682-6_4
    Type Book Chapter
    Author Bártek F
    Publisher Springer Nature
    Pages 57-71
    Link Publication
  • 2025
    Title Not So Secure TSC
    DOI 10.1007/978-3-031-95764-2_1
    Type Book Chapter
    Author Juffinger J
    Publisher Springer Nature
    Pages 3-23
  • 2025
    Title TDXploit: novel techniques for single-stepping and cache attacks on intel TDX
    Type Conference Proceeding Abstract
    Author Rauscher F.
    Conference 34th USENIX Conference on Security Symposium
    Pages 1207 - 1222
    Link Publication
  • 2025
    Title Nakamoto Consensus from Multiple Resources
    Type Conference Proceeding Abstract
    Author Baig M. A.
    Conference 7th Conference on Advances in Financial Technologies (AFT 2025)
    Pages 16:1-16:23
    Link Publication
  • 2025
    Title Let's Move2EVM
    Type Conference Proceeding Abstract
    Author Benetollo L.
    Conference SEC '25: 34th USENIX Conference on Security Symposium
    Link Publication
  • 2025
    Title TEEcorrelate: an information-preserving defense against performance-counter attacks on TEEs
    Type Conference Proceeding Abstract
    Author Rauscher F.
    Conference SEC '25: 34th USENIX Conference on Security Symposium
    Link Publication
  • 2025
    Title When good kernel defenses go bad: reliable and stable kernel exploits via defense-amplified TLB side-channel leaks
    Type Conference Proceeding Abstract
    Author Giner L
    Conference SEC '25: 34th USENIX Conference on Security Symposium
    Link Publication
  • 2025
    Title Analyzing the iOS Local Network Permission from a Technical and User Perspective
    Type Conference Proceeding Abstract
    Author Ponticello A.
    Conference IEEE Symposium on Security and Privacy (S&P)
    Link Publication
  • 2025
    Title TapTrap: animation-driven tapjacking on android
    Type Conference Proceeding Abstract
    Author Beer P.
    Conference 34th USENIX Security Symposium
    Pages 3317-3335
    Link Publication
  • 2025
    Title Flavors of Quantifiers in Hyperlogics
    Type Conference Proceeding Abstract
    Author Chalupa M.
    Conference 45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2025)
    Pages 20:1-20:18
    Link Publication
  • 2024
    Title Destination Reachable: What ICMPv6 Error Messages Reveal About Their Sources
    DOI 10.1145/3646547.3688420
    Type Conference Proceeding Abstract
    Author Holzbauer F
    Pages 280-294
    Link Publication
  • 2024
    Title SAT solving for variants of first-order subsumption
    DOI 10.1007/s10703-024-00454-1
    Type Journal Article
    Author Coutelier R
    Journal Formal Methods in System Design
    Pages 27-70
    Link Publication
  • 2024
    Title Monitoring Extended Hypernode Logic
    DOI 10.1007/978-3-031-76554-4_9
    Type Book Chapter
    Author Chalupa M
    Publisher Springer Nature
    Pages 151-171
  • 2024
    Title Leakage Certification Made Simple
    DOI 10.1007/978-3-031-68391-6_13
    Type Book Chapter
    Author Chowdhury A
    Publisher Springer Nature
    Pages 427-460
  • 2024
    Title Revisiting Differential-Linear Attacks via a Boomerang Perspective with Application to AES, Ascon, CLEFIA, SKINNY, PRESENT, KNOT, TWINE, WARP, LBlock, Simeck, and SERPENT
    DOI 10.1007/978-3-031-68385-5_2
    Type Book Chapter
    Author Hadipour H
    Publisher Springer Nature
    Pages 38-72
    Link Publication
  • 2024
    Title Optimizing Virtual Payment Channel Establishment in the Face of On-Path Adversaries
    DOI 10.23919/ifipnetworking62109.2024.10619889
    Type Conference Proceeding Abstract
    Author Aumayr L
    Pages 1-10
  • 2024
    Title On Efficient and Secure Compression Functions for Arithmetization-Oriented Hashing
    DOI 10.1109/csf61375.2024.00045
    Type Conference Proceeding Abstract
    Author Andreeva E
    Pages 1-16
  • 2024
    Title Wappler: Sound Reachability Analysis for WebAssembly
    DOI 10.1109/csf61375.2024.00025
    Type Conference Proceeding Abstract
    Author Scherer M
    Pages 249-264
  • 2024
    Title Closing the Gap: Leakage Contracts for Processors with Transitions and Glitches
    DOI 10.46586/tches.v2024.i4.110-132
    Type Journal Article
    Author Haring J
    Journal IACR Transactions on Cryptographic Hardware and Embedded Systems
    Pages 110-132
    Link Publication
  • 2023
    Title ALASCA: Reasoning in Quantified Linear Arithmetic
    DOI 10.1007/978-3-031-30823-9_33
    Type Book Chapter
    Author Korovin K
    Publisher Springer Nature
    Pages 647-665
    Link Publication
  • 2023
    Title Finding the Impossible: Automated Search for Full Impossible-Differential, Zero-Correlation, and Integral Attacks
    DOI 10.1007/978-3-031-30634-1_5
    Type Book Chapter
    Author Hadipour H
    Publisher Springer Nature
    Pages 128-157
  • 2023
    Title SAT-Based Subsumption Resolution; In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
    DOI 10.1007/978-3-031-38499-8_11
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2023
    Title Superposition withDelayed Unification; In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
    DOI 10.1007/978-3-031-38499-8_2
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2023
    Title CSI:Rowhammer - Cryptographic Security and Integrity against Rowhammer
    DOI 10.1109/sp46215.2023.10179390
    Type Conference Proceeding Abstract
    Author Juffinger J
    Pages 1702-1718
  • 2024
    Title Rewriting and Inductive Reasoning.
    Type Conference Proceeding Abstract
    Author Hajdu M.
    Conference 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning.
    Link Publication
  • 2024
    Title Saturating Sorting without Sorts.
    Type Conference Proceeding Abstract
    Author Georgiou P.
    Conference 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
    Link Publication
  • 2024
    Title Scaling CheckMate for Game-Theoretic Security.
    Type Conference Proceeding Abstract
    Author Brugger L. S.
    Conference 25th Conference on Logic for Pro gramming, Artificial Intelligence and Reasoning
    Link Publication
  • 2024
    Title VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic.
    Type Conference Proceeding Abstract
    Author Kovács L.
    Conference 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
    Link Publication
  • 2024
    Title Lazy Reimplication in Chronological Backtracking.
    Type Conference Proceeding Abstract
    Author Coutelier R.
    Conference 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024).
    Link Publication
  • 2024
    Title SnailLoad: exploiting remote network latency measurements without JavaScript
    Type Conference Proceeding Abstract
    Author Czerny R
    Conference 33rd USENIX Conference on Security Symposium
    Pages 2315 - 2332
    Link Publication
  • 2024
    Title SLUBStick: Arbitrary Memory Writes through Practical Software Cross-Cache Attacks within the Linux Kernel
    Type Conference Proceeding Abstract
    Author Gast S
    Conference 33rd USENIX Security Symposium
    Pages 4051 - 4068
    Link Publication
  • 2024
    Title Divide and surrender: exploiting variable division instruction timing in HQC key recovery attacks
    Type Conference Proceeding Abstract
    Author Gast S
    Conference 33rd USENIX Conference on Security Symposium
    Pages 6669 - 6686
    Link Publication
  • 2024
    Title Comparing Apples to Androids: Discovery, Retrieval, and Matching of iOS and Android Apps for Cross-Platform Analyses
    Type Conference Proceeding Abstract
    Author Bleier J
    Conference 2024 IEEE/ACM 21st International Conference on Mining Software Repositories (MSR)
    Pages 348-360
    Link Publication
  • 2023
    Title Embedding the Connection Calculus in Satisfiability Modulo Theories
    Type Conference Proceeding Abstract
    Author Eisenhofer C.
    Conference 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023) affiliated with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2023)
    Link Publication
  • 2023
    Title SMT Solving over Finite Field Arithmetic.
    Type Conference Proceeding Abstract
    Author Hader T.
    Conference 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
    Link Publication
  • 2023
    Title Refining Unification with Abstraction.
    Type Conference Proceeding Abstract
    Author Bhayat A.
    Conference 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
    Link Publication
  • 2023
    Title Hypernode Automata
    Type Conference Proceeding Abstract
    Author Bartocci E.
    Conference 34th International Conference on Concurrency Theory (CONCUR 2023)
    Link Publication
  • 2023
    Title Glimpse: On-Demand {PoW} Light Client with Constant-Size Storage for {DeFi}
    Type Conference Proceeding Abstract
    Author Aumayr L
    Conference 32nd USENIX Security Symposium
    Link Publication
  • 2023
    Title Collide+Power: leaking inaccessible data with software-based power side channels
    Type Conference Proceeding Abstract
    Author Juffinger J
    Conference 32nd USENIX Conference on Security Symposium
    Pages 7285 - 7302
    Link Publication
  • 2023
    Title Proof of Availability and Retrieval in a Modular Blockchain Architecture
    DOI 10.1007/978-3-031-47751-5_3
    Type Book Chapter
    Author Cohen S
    Publisher Springer Nature
    Pages 36-53
  • 2023
    Title Executing and Proving Over Dirty Ledgers
    DOI 10.1007/978-3-031-47754-6_1
    Type Book Chapter
    Author Stefo C
    Publisher Springer Nature
    Pages 3-20
  • 2023
    Title Let's Go Eevee! A Friendly and Suitable Family of AEAD Modes for IoT-to-Cloud Secure Computation
    DOI 10.1145/3576915.3623091
    Type Conference Proceeding Abstract
    Author Bhati A
    Pages 2546-2560
    Link Publication
  • 2023
    Title Cryptographically Enforced Memory Safety
    DOI 10.1145/3576915.3623138
    Type Conference Proceeding Abstract
    Author Unterguggenberger M
    Pages 889-903
    Link Publication
  • 2023
    Title CheckMate: Automated Game-Theoretic Security Reasoning
    DOI 10.1145/3576915.3623183
    Type Conference Proceeding Abstract
    Author Brugger L
    Pages 1407-1421
    Link Publication
  • 2023
    Title Smooth Passage with the Guards: Second-Order Hardware Masking of the AES with Low Randomness and Low Latency
    DOI 10.46586/tches.v2024.i1.309-335
    Type Journal Article
    Author Gigerl B
    Journal IACR Transactions on Cryptographic Hardware and Embedded Systems
    Pages 309-335
    Link Publication
  • 2023
    Title Automated Sensitivity Analysis for Probabilistic Loops
    DOI 10.1007/978-3-031-47705-8_2
    Type Book Chapter
    Author Moosbrugger M
    Publisher Springer Nature
    Pages 21-39
  • 2024
    Title (Un)Solvable loop analysis
    DOI 10.1007/s10703-024-00455-0
    Type Journal Article
    Author Amrollahi D
    Journal Formal Methods in System Design
    Pages 163-194
    Link Publication
  • 2024
    Title Security Aspects of Masking on FPGAs
    DOI 10.1109/host55342.2024.10545383
    Type Conference Proceeding Abstract
    Author Gigerl B
    Pages 199-210
  • 2024
    Title Presshammer: Rowhammer and Rowpress Without Physical Address Information
    DOI 10.1007/978-3-031-64171-8_24
    Type Book Chapter
    Author Juffinger J
    Publisher Springer Nature
    Pages 460-479
  • 2024
    Title Verifying Global Two-Safety Properties in Neural Networks with Confidence
    DOI 10.1007/978-3-031-65630-9_17
    Type Book Chapter
    Author Athavale A
    Publisher Springer Nature
    Pages 329-351
    Link Publication
  • 2024
    Title Skye: An Expanding PRF based Fast KDF and its Applications
    DOI 10.1145/3634737.3637673
    Type Conference Proceeding Abstract
    Author Bhati A
    Pages 1082-1098
  • 2024
    Title Reducibility Constraints in Superposition
    DOI 10.1007/978-3-031-63498-7_8
    Type Book Chapter
    Author Hajdu M
    Publisher Springer Nature
    Pages 115-132
    Link Publication
  • 2024
    Title Synthesis of Recursive Programs in Saturation
    DOI 10.1007/978-3-031-63498-7_10
    Type Book Chapter
    Author Hozzová P
    Publisher Springer Nature
    Pages 154-171
    Link Publication
  • 2024
    Title MCSat-Based Finite Field Reasoning in the Yices2 SMT Solver (Short Paper)
    DOI 10.1007/978-3-031-63498-7_23
    Type Book Chapter
    Author Hader T
    Publisher Springer Nature
    Pages 386-395
    Link Publication
  • 2024
    Title Induction in Saturation
    DOI 10.1007/978-3-031-63498-7_2
    Type Book Chapter
    Author Kovács L
    Publisher Springer Nature
    Pages 21-29
    Link Publication
  • 2024
    Title Deniability in Automated Contact Tracing: Impossibilities and Possibilities
    DOI 10.56553/popets-2024-0134
    Type Journal Article
    Author Günther C
    Journal Proceedings on Privacy Enhancing Technologies
    Pages 636-648
    Link Publication
  • 2024
    Title On Proving Equivalence Class Signatures Secure from Non-interactive Assumptions
    DOI 10.1007/978-3-031-57718-5_1
    Type Book Chapter
    Author Bauer B
    Publisher Springer Nature
    Pages 3-36
  • 2024
    Title Trapdoor Memory-Hard Functions
    DOI 10.1007/978-3-031-58734-4_11
    Type Book Chapter
    Author Auerbach B
    Publisher Springer Nature
    Pages 315-344
  • 2024
    Title SUIT: Secure Undervolting with Instruction Traps
    DOI 10.1145/3620665.3640373
    Type Conference Proceeding Abstract
    Author Juffinger J
    Pages 1128-1145
    Link Publication
  • 2024
    Title Updatable Public-Key Encryption, Revisited
    DOI 10.1007/978-3-031-58754-2_13
    Type Book Chapter
    Author Alwen J
    Publisher Springer Nature
    Pages 346-376
  • 2024
    Title Correction: (Un)Solvable loop analysis
    DOI 10.1007/s10703-024-00465-y
    Type Journal Article
    Author Amrollahi D
    Journal Formal Methods in System Design
  • 2024
    Title Compress: Generate Small and Fast Masked Pipelined Circuits
    DOI 10.46586/tches.v2024.i3.500-529
    Type Journal Article
    Author Cassiers G
    Journal IACR Transactions on Cryptographic Hardware and Embedded Systems
  • 2023
    Title Reshaping Unplugged Computer Science Workshops for Primary School Education
    DOI 10.1007/978-3-031-44900-0_11
    Type Book Chapter
    Author Landman M
    Publisher Springer Nature
    Pages 139-151
    Link Publication
  • 2023
    Title Non-Classical Logics in Satisfiability Modulo Theories
    DOI 10.1007/978-3-031-43513-3_2
    Type Book Chapter
    Author Eisenhofer C
    Publisher Springer Nature
    Pages 24-36
    Link Publication
  • 2023
    Title Secure Context Switching of Masked Software Implementations
    DOI 10.1145/3579856.3595798
    Type Conference Proceeding Abstract
    Author Gigerl B
    Pages 980-992
    Link Publication
  • 2023
    Title Satisfiability Modulo Custom Theories in Z3
    DOI 10.1007/978-3-031-24950-1_5
    Type Book Chapter
    Author Bjørner N
    Publisher Springer Nature
    Pages 91-105
Policies
  • 2024 Link
    Title Dagstuhl Seminar "EU Cyber Resilience Act: Socio-Technical and Research Challenges"
    DOI 10.4230/dagrep.14.3.52
    Type Contribution to a national consultation/review
    Link Link
  • 2024
    Title Working group by the European Commission on implementation challenges of the Digital Markets Act (DMA)
    Type Participation in a guidance/advisory committee
Artistic Creations
  • 2024 Link
    Title SnailLoad Teaser Song
    Type Film/Video/Animation
    Link Link
  • 2023 Link
    Title SPyCoDe logo
    Type Artefact (including digital)
    Link Link
Methods & Materials
  • 2025
    Title PolySAT
    DOI 10.1007/978-3-031-86695-1_4
    Type Improvements to research infrastructure
    Public Access
  • 2025
    Title HALY
    Type Improvements to research infrastructure
    Public Access
  • 2024 Link
    Title Leakage Certification Methods
    Type Improvements to research infrastructure
    Public Access
    Link Link
  • 2024
    Title CryptoVampire
    DOI 10.1109/sp54263.2024.00246
    Type Improvements to research infrastructure
    Public Access
  • 2024 Link
    Title Virtual Integer-Real Arithmetic Substitution (Viras)
    DOI 10.29007/kg4v
    Type Improvements to research infrastructure
    Public Access
    Link Link
  • 2024 Link
    Title Skye
    Type Improvements to research infrastructure
    Public Access
    Link Link
  • 2024
    Title CheckMate
    DOI 10.29007/llnq
    Type Improvements to research infrastructure
    Public Access
  • 2023
    Title ALASCA
    DOI 10.1007/978-3-031-30823-9_33
    Type Improvements to research infrastructure
    Public Access
Datasets & models
  • 2024 Link
    Title Side-channel analysis on masked-AES implementation on ARM M3
    DOI 10.5281/zenodo.11396347
    Type Database/Collection of data
    Public Access
    Link Link
  • 2024 Link
    Title Dataset of 3,322 cross-platform iOS/Android apps and methodology to collect them
    Type Database/Collection of data
    Public Access
    Link Link
  • 2025
    Title Wanilla: Sound Noninterference Analysis for WebAssembly (artifacts)
    DOI 10.48436/hc4rp-xp328
    Type Database/Collection of data
    Public Access
Software
  • 2025 Link
    Title Vampire
    DOI 10.1007/978-3-031-98682-6_4
    Link Link
  • 2025 Link
    Title Alba
    Link Link
  • 2025 Link
    Title Proof-of-Concept of the ALBA Smart Contract
    DOI 10.5281/zenodo.14249987
    Link Link
  • 2024 Link
    Title SUIT - Secure Undervolting with Instruction Traps
    Link Link
  • 2024 Link
    Title SLUBStick
    Link Link
  • 2024 Link
    Title IPv6 Measurement Tool
    DOI 10.1145/3646547.3688420
    Link Link
  • 2024 Link
    Title CryptoVampire
    Link Link
  • 2024 Link
    Title CheckMate
    DOI 10.29007/llnq
    Link Link
  • 2023 Link
    Title Cost evaluation for Glimpse
    Link Link
  • 2023 Link
    Title Glimpse
    Link Link
Disseminations
  • 2024 Link
    Title Panel discussion on AI & Security in University of Vienna
    Type A talk or presentation
    Link Link
  • 2024 Link
    Title Contributed talk at HYPER 2024
    Type Participation in an activity, workshop or similar
    Link Link
  • 2024 Link
    Title Research Seminar "CPU Undervolting: Exploits and Potentials"
    Type A talk or presentation
    Link Link
  • 2023 Link
    Title Summer School - Graz Security Week
    Type Participation in an activity, workshop or similar
    Link Link
  • 2023 Link
    Title Interview for Ö1 "Security from Surveillance - Security through Surveillance?"
    Type A press release, press conference or response to a media enquiry/interview
    Link Link
  • 2024 Link
    Title Panel discussion "@Risk: Sind unsere Daten sicher?"
    Type A talk or presentation
    Link Link
  • 2025 Link
    Title Research Seminar "Network-level vulnerabilities in cryptocurrencies"
    Type A talk or presentation
    Link Link
  • 2025 Link
    Title Research Seminar "Attacking and Securing Leaky Systems at the Hardware-Software Boundary"
    Type A talk or presentation
    Link Link
  • 2023 Link
    Title Talk "Security - Can we afford to have it? Can we afford not to have it?" at Austrian Computer Science Day
    Type A talk or presentation
    Link Link
  • 2023 Link
    Title Research Seminar "Information-Flow Interfaces"
    Type A talk or presentation
    Link Link
  • 2023 Link
    Title Moderated talk at Vienna Humanities Festival "Why Data Protection Is Important and How It Succeeds"
    Type A talk or presentation
    Link Link
  • 2024 Link
    Title Research Seminar "Anthemius: Efficient & Modular Block Assembly for Concurrent Execution"
    Type A talk or presentation
    Link Link
  • 2025 Link
    Title Radio interviews for Ö1: "Datenschleuder Fitness-App"
    Type A broadcast e.g. TV/radio/film/podcast (other than news/press)
    Link Link
  • 2025 Link
    Title Research Seminar "ALASCA: Reasoning in Quantified Linear Arithmetic"
    Type A talk or presentation
    Link Link
  • 2024 Link
    Title Invited Talk at eduLab Bildungsfruhstuck: AI for Schools
    Type A talk or presentation
    Link Link
  • 2025 Link
    Title Panel discussion at the Kickoff of the AI & Security Competence Forum
    Type A formal working group, expert panel or dialogue
    Link Link
  • 2025 Link
    Title Discussion "Digital Defense: How Does the Net Stay Secure?" at KURIER-TV's "Spontan gefragt"
    Type A broadcast e.g. TV/radio/film/podcast (other than news/press)
    Link Link
  • 2024 Link
    Title Interview for Der Standard "Chat control is a security risk for all of Europe"
    Type A press release, press conference or response to a media enquiry/interview
    Link Link
  • 2025 Link
    Title Research Seminar "Memory Band-Aid: A Principled Rowhammer Defense-in-Depth"
    Type A talk or presentation
    Link Link
  • 2024 Link
    Title Research Seminar "Secure and Verifiable Implementations of off-chains Protocols"
    Type A talk or presentation
    Link Link
  • 2025 Link
    Title Research Seminar "Securing Distributed Hash Tables using Proofs of Space"
    Type A talk or presentation
    Link Link
  • 2025 Link
    Title Research Seminar "String Solving via Extended Nielsen Rules"
    Type A talk or presentation
    Link Link
  • 2023 Link
    Title Public Lecture "Sustainable Blockchains"
    Type A talk or presentation
    Link Link
  • 2023 Link
    Title Research Seminar "PYTHIA: Supercharging Parallel Smart Contract Execution with the help of Optimistic Predictions"
    Type A talk or presentation
    Link Link
  • 2025 Link
    Title Workshop "Asynchronous Hyperproperties: from Theory to Practice"
    Type Participation in an activity, workshop or similar
    Link Link
  • 2024 Link
    Title Episode of the InTechnology podcast "What That Means," titled "Why We Will Never Get Rid of Side Channels"
    Type A broadcast e.g. TV/radio/film/podcast (other than news/press)
    Link Link
  • 2025 Link
    Title Invited speaker at the 1st Workshop on Generic Attacks and Proofs in Symmetric Cryptography (GASP 2025)
    Type A talk or presentation
    Link Link
  • 2025 Link
    Title Radio interviews for Ö1: "Workout im Metaversum"
    Type A broadcast e.g. TV/radio/film/podcast (other than news/press)
    Link Link
  • 2024 Link
    Title Research Seminar "Secure blockchains in network transition periods"
    Type A talk or presentation
    Link Link
  • 2024 Link
    Title Research Seminar "Trapdoor Memory-Hard Functions"
    Type A talk or presentation
    Link Link
  • 2023 Link
    Title Research Seminar "SMT or a Shelter for Theory and Logics"
    Type A talk or presentation
    Link Link
  • 2023 Link
    Title Research Seminar "A Forkcipher-based Pseudo-Random Number Generator"
    Type A talk or presentation
    Link Link
  • 2025 Link
    Title Talk at Workshop on Cryptographic Tools for Blockchains
    Type A talk or presentation
    Link Link
  • 2024 Link
    Title Interview for Wiener Zeitung "How evil is Google really?"
    Type A press release, press conference or response to a media enquiry/interview
    Link Link
  • 2025 Link
    Title Research Seminar "Committing Security of Encode-then-Encipher"
    Type A talk or presentation
    Link Link
  • 2024 Link
    Title Presentation at the 20th ICT Security Conference (IKT-Sicherheitskonferenz 2024)
    Type A talk or presentation
    Link Link
  • 2025 Link
    Title Panel discussion at the Digital Humanism Conference.
    Type A talk or presentation
    Link Link
  • 2025 Link
    Title Research Seminar "Towards a Composable Game-Theoretic Framework for Blockchains"
    Type A talk or presentation
    Link Link
  • 2025 Link
    Title Panel Participation at the OCG Symposium "Computer Science in Education: By Humans, for Humans"
    Type A formal working group, expert panel or dialogue
    Link Link
  • 2024 Link
    Title Research Seminar "Provable Side-Channel Resilience in Hardware and Software"
    Type A talk or presentation
    Link Link
  • 2025 Link
    Title Presentation at @AT:NOG 2025/1
    Type A talk or presentation
    Link Link
  • 2023 Link
    Title SFB SPyCoDe Kick-off event
    Type Participation in an activity, workshop or similar
    Link Link
  • 2024
    Title Radio interview for Ö1 Matrix: Sicherheitsrisiken von Menstruations-Trackern
    Type A press release, press conference or response to a media enquiry/interview
  • 2025 Link
    Title Invited speaker at the DynAMiCs workshop
    Type A talk or presentation
    Link Link
  • 2023 Link
    Title Research Seminar "Computationally Sound Cryptographic Protocol Automated Verification"
    Type A talk or presentation
    Link Link
  • 2025 Link
    Title Research Seminar "Space-Deniable Proofs"
    Type A talk or presentation
    Link Link
  • 2023 Link
    Title Research Seminar "Efficient Multi-tuple Leakage Detection Testing in Side-channel"
    Type A talk or presentation
    Link Link
  • 2025 Link
    Title Lecture at the Cluster of Excellence CASA "Automated Tools for Symmetric-Key Cryptanalysis"
    Type A talk or presentation
    Link Link
  • 2024 Link
    Title Research Seminar "Comparing Apples to Androids: Discovery, Retrieval, and Matching of iOS and Android Apps for Cross-Platform Analyses"
    Type A talk or presentation
    Link Link
  • 2025 Link
    Title Symposium "Radical Software: Women, Art & Computing 1960-1991". Female Mentoring Session
    Type Participation in an activity, workshop or similar
    Link Link
  • 2024 Link
    Title CASA Distinguished Lecture "Shedding Light on Data Collection and Security Issues in Modern Apps"
    Type A talk or presentation
    Link Link
  • 2024 Link
    Title Retreat at the Institute of Science and Technology Austria (ISTA)
    Type Participation in an activity, workshop or similar
    Link Link
  • 2025 Link
    Title Talk on "Artificial Intelligence in Research and Innovation" at ASSAI event
    Type A talk or presentation
    Link Link
  • 2025 Link
    Title Female Mentoring Session at Summer School on Artificial Intelligence and Cybersecurity
    Type Participation in an activity, workshop or similar
    Link Link
  • 2024 Link
    Title Keynote at FinTechWeek Vienna 2024
    Type A talk or presentation
    Link Link
  • 2025 Link
    Title Research Seminar "Side-channel countermeasures for Post-quantum cryptography"
    Type A talk or presentation
    Link Link
  • 2025 Link
    Title Invited speaker at the International Winter School on Microarchitectural Security (MIC-SEC 2025)
    Type A talk or presentation
    Link Link
  • 2025 Link
    Title Colloquium Talk at the IITB Trust Lab (Indian Institute of Technology Bombay)
    Type A talk or presentation
    Link Link
  • 2023 Link
    Title Talk "Watching the Watchmen - Shedding Light on Data Collection in Mobile Apps" at Austrian Computer Science Day
    Type A talk or presentation
    Link Link
  • 2024 Link
    Title Article in Der Standard "Dancing the Algorithm: How to Teach Children Computer Science"
    Type A press release, press conference or response to a media enquiry/interview
    Link Link
  • 2025 Link
    Title Interview for "Die Presse"
    Type A magazine, newsletter or online publication
    Link Link
  • 2024 Link
    Title Research Seminar "Efficient and Secure Compression Functions for Arithmetization-Oriented Hashing"
    Type A talk or presentation
    Link Link
  • 2024 Link
    Title Research Seminar "Secure implementation of the masking countermeasure on different platforms"
    Type A talk or presentation
    Link Link
  • 2024 Link
    Title A talk at "Digitale Kompetenzen - Algorithmen, KI & Ethik"
    Type A talk or presentation
    Link Link
  • 2025 Link
    Title Research visit to TU Graz
    Type A talk or presentation
    Link Link
  • 2024 Link
    Title Female Mentoring Session by Prof. Ruzica Piskac (Yale University)
    Type Participation in an activity, workshop or similar
    Link Link
  • 2024 Link
    Title Research Seminar "VIRAS: A Conflict-Driven Decision Procedure for mixed Integer-Real Arithmetic"
    Type A talk or presentation
    Link Link
  • 2024 Link
    Title Research Seminar "Computationally Sound Automated Protocol Verification"
    Type A talk or presentation
    Link Link
  • 2025 Link
    Title Research Seminar "Cryptanalysis of New Low-Latency Cipher Designs"
    Type Participation in an activity, workshop or similar
    Link Link
  • 2023 Link
    Title Research Seminar "Software-based Microarchitectural CPU Attacks"
    Type A talk or presentation
    Link Link
  • 2025 Link
    Title Guest commentary for Der Standard "Computer Science is General Education and Should Become a Mandatory Subject"
    Type A press release, press conference or response to a media enquiry/interview
    Link Link
  • 2023 Link
    Title Contributed talk at HYPER 2023
    Type Participation in an activity, workshop or similar
    Link Link
  • 2025 Link
    Title Research visit to University Vienna
    Type A talk or presentation
    Link Link
  • 2023 Link
    Title Public Lecture "Sustainable Security"
    Type A talk or presentation
    Link Link
  • 2024 Link
    Title Invited talk in the seminar series "Women in Logic Online"
    Type A talk or presentation
    Link Link
  • 2024 Link
    Title Briefing at Blackhat USA 2024 - SnailLoad presentation
    Type A talk or presentation
    Link Link
  • 2025 Link
    Title Dagstuhl Seminar 24351 on Power, Energy, and Carbon-Aware Computing on Heterogeneous Systems (PEACHES)
    Type Participation in an activity, workshop or similar
    Link Link
  • 2024 Link
    Title Research Seminar "Rational protocol design"
    Type A talk or presentation
    Link Link
  • 2025 Link
    Title Invited speaker at the SERICS Summer School on Secure Software Development
    Type A talk or presentation
    Link Link
  • 2025 Link
    Title Research Seminar "SnailLoad: Exploiting Remote Network Latency Measurements without JavaScript"
    Type A talk or presentation
    Link Link
  • 2023 Link
    Title Invited talk and mentoring at EPFL School of Computer and Communication Sciences Summer Research Institute 2023 on Systems, Security, and Privacy
    Type A talk or presentation
    Link Link
  • 2025 Link
    Title Engagement Activities at the BeSt Fair
    Type Participation in an activity, workshop or similar
    Link Link
  • 2024 Link
    Title Research Seminar "Cryptanalysis using Constraint Programming"
    Type A talk or presentation
    Link Link
  • 2023 Link
    Title Research Seminar "Verification of Game-Theoretic Security Properties for Blockchain Protocols"
    Type A talk or presentation
    Link Link
  • 2023 Link
    Title Interview for "Der Standard" (doIT)
    Type A magazine, newsletter or online publication
    Link Link
  • 2024 Link
    Title Poster Session at Network Traffic Measurement and Analysis Conference (TMA) 2024
    Type A talk or presentation
    Link Link
  • 2025 Link
    Title Public Lecture "Space-efficient blockchains"
    Type A talk or presentation
    Link Link
  • 2025 Link
    Title SPyCoDe Retreat 2025
    Type Participation in an activity, workshop or similar
    Link Link
Scientific Awards
  • 2025
    Title 2025 Research Promotion Award of the State of Styria
    Type Research prize
    Level of Recognition Regional (any country)
  • 2025
    Title Members of the Steering Committee for the Austrian Computer Science Day 2025
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition National (any country)
  • 2025
    Title Sub-Auspiciis Doctorate
    Type Honorary Degree
    Level of Recognition National (any country)
  • 2025
    Title Research visit and a lecture by Gianluca Stringhini (Boston University) at TU Wien
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2025
    Title Research visit and a lecture by Ghassan Karame (Ruhr-University Bochum)
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2025
    Title Research visit and a lecture by Johannes Buchmann (Center for Advanced Security Research Darmstadt)
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2025
    Title General chair and a member of the Steering committee of the 22nd Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA '25)
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2025
    Title Research visit and a lecture by Pierluigi Nuzzo at TU Wien
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2025
    Title Research visit and a lecture by Ruzica Piskac (Yale University) at TU Graz
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2025
    Title Program Committee Chair and Steering Committee Member at the 7th international conference on Advances in Financial Technologies (AFT'25)
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2025
    Title Program Committee Member at the 29th International Conference Financial Cryptography and Data Security (FC'25)
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2025
    Title Research visit and a lecture by Grigory Fedyukovich (Florida State University)
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2025
    Title Research visit and a lecture by Geoff Sutcliffe (University of Miami)
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2025
    Title Associate Editor of Journal of Computer Security
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2025
    Title PC member of International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2025
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2025
    Title Program Committee Members at the ACM Conference on Computer and Communications Security (CCS) 2025
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2025
    Title Invited speaker at the NCC-AT Community Event 2025
    Type Personally asked as a key note speaker to a conference
    Level of Recognition National (any country)
  • 2025
    Title Keynote Speaker at the 25th International Conference on Runtime Verification
    Type Personally asked as a key note speaker to a conference
    Level of Recognition Continental/International
  • 2025
    Title Program Committee Member at the 23rd International Conference on Applied Cryptography and Network Security (ACNS 2025)
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2025
    Title Program Committee Members at the Cryptographers' Track at RSA Conference
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2025
    Title Research visit and a lecture by Jonathan Katz (Google)
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2025
    Title Invited Speaker at 4th Workshop on Hyperproperties: Advances in Theory and Applications
    Type Personally asked as a key note speaker to a conference
    Level of Recognition Continental/International
  • 2025
    Title Research visit and a lecture by Bart Mennink (Radboud University Nijmegen) at TU Graz
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2025
    Title Keynote at the IT Security Conference in Bochum RuhrSec 2025
    Type Personally asked as a key note speaker to a conference
    Level of Recognition Continental/International
  • 2025
    Title Research visit and a lecture by Arkady Yerukhimovich (George Washington University) at TU Wien
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2025
    Title Research visit and a lecture by Sharad Agarwal (University College London) at TU Wien
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2025
    Title Promotion Prize of the Province of Styria 2025
    Type Research prize
    Level of Recognition Regional (any country)
  • 2025
    Title Research visit and a lecture by Mugdha Khedkar (Paderborn University, Germany) at TU Wien
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2025
    Title Organizing Committee member of HYPER 2025
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2025
    Title Research visit and a lecture by Diego Olivier Fernandez Pons (Microsoft) at TU Wien
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2025
    Title A lecture by Arnab Roy (University of Innsbruck)
    Type Attracted visiting staff or user to your research group
    Level of Recognition National (any country)
  • 2025
    Title Area Chair of the 37th International Conference on Computer Aided Verification (CAV)
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2025
    Title President and Chair of the Steering Committee of the European Joint Conferences on Theory and Practice of Software (ETAPS)
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2025
    Title Research visit and a lecture by Christoph Kerschbaumer (Mozilla) at TU Graz
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2025
    Title PC members of 22nd Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA '25)
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2025
    Title Research visit and a lecture by Erwin Quiring (Ruhr-University Bochum)
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2025
    Title Local Chair at the 25th International Conference on Runtime Verification
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2025
    Title Program Committee Members at the 37th International Conference on Computer Aided Verification (CAV)
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2025
    Title Research visit and a lecture by Pierluigi Nuzzo
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2025
    Title Keynote at the 6th ACNS-SCI workshop
    Type Personally asked as a key note speaker to a conference
    Level of Recognition Continental/International
  • 2025
    Title Editorial Board Member of The IACR Communications in Cryptology (CiC) journal
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2025
    Title Research visit and a lecture by Samuel Kopmann (Karlsruhe Institute of Technology) at TU Wien
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2025
    Title Program Committee Members at the 34th USENIX Security Symposium
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2025
    Title The Workshop Chair for the 2025 Internet Measurement Conference (IMC)
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2025
    Title Keynote Speaker at "womENcourageâ„¢ 2025"
    Type Personally asked as a key note speaker to a conference
    Level of Recognition Continental/International
  • 2025
    Title Member of the Editorial Board IACR Transactions on Symmetric Cryptology (ToSC), 2025-2026.
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2025
    Title Keynote at the 37th International Conference on Computer Aided Verification (CAV 2025)
    Type Personally asked as a key note speaker to a conference
    Level of Recognition Continental/International
  • 2025
    Title Panel "Cybersecurity in New Times" at the Digital Humanism Conference
    Type Personally asked as a key note speaker to a conference
    Level of Recognition National (any country)
  • 2024
    Title Research visit and a lecture by Konrad Rieck (TU Berlin)
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2024
    Title PC Co-Chair for Conference on Intelligent Computer Mathematics (CICM) 2024
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2024
    Title Invited lecture by Caroline Trippel (Stanford University)
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2024
    Title Best Paper Award at the Conference on Cryptographic Hardware and Embedded Systems (CHES)
    Type Poster/abstract prize
    DOI 10.46586/tches.v2024.i4.110-132
    Level of Recognition Continental/International
  • 2024
    Title Research visit and a lecture by Giancarlo Guizzardi (University of Twente)
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2024
    Title Organizing Committee Chair, Program Committee Co-chair for International Conference On Reachability Problems (RP) 2024
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2024
    Title Research visit and a lecture by Reiner Hähnle (TU Darmstadt)
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2024
    Title Research visit and a lecture by Yuval Yarom (Ruhr University Bochum) at TU Graz
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2024
    Title Research visit and a lecture by Joel Reardon (University of Calgary)
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2024
    Title Program Committee Members at the Cryptographic Hardware and Embedded Systems (CHES) conference
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2024
    Title Organizing Committee Member for International Conference On Reachability Problems (RP) 2024
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2024
    Title Invited speaker at International Joint Conference on Automated Reasoning (IJCAR) 2024
    Type Personally asked as a key note speaker to a conference
    Level of Recognition Continental/International
  • 2024
    Title Research visit and a lecture by Ben Stock (CISPA Helmholtz Center for Information Security)
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2024
    Title Research visit and a lecture by Christoph Kerschbaumer (Mozilla) at TU Wien
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2024
    Title Program Committee Member at the Formal Methods in Computer-Aided Design Conference (FMCAD) 2023-2025
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2024
    Title Research visit and a lecture by Ruzica Piskac (Yale University)
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2024
    Title Research visit and a lecture by Andrea Basso (University of Bristol) at TU Graz
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2024
    Title Research visit and a lecture by Thomas Schneider (Technical University of Darmstadt) at TU Graz
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2024
    Title Program Committee Members at the 33rd USENIX Security Symposium
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2024
    Title Research visit and a lecture by Sven Bugiel (CISPA Helmholtz Center for Information Security)
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2024
    Title Invited Talk at the ELLIIT Annual Workshop of the Excellence Center at Linköping - Lund in Information
    Type Personally asked as a key note speaker to a conference
    Level of Recognition National (any country)
  • 2024
    Title Research visit and a lecture by Nikolaj Bjorner (Microsoft Research)
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2024
    Title Foreign Member of Royal Society
    Type Awarded honorary membership, or a fellowship, of a learned society
    Level of Recognition Continental/International
  • 2024
    Title Briefing at Blackhat USA 2024
    Type Personally asked as a key note speaker to a conference
    Level of Recognition Continental/International
  • 2024
    Title Let's Empower Austria - LEA Role Model
    Type Awarded honorary membership, or a fellowship, of a learned society
    Level of Recognition National (any country)
  • 2024
    Title PC Co-Chair for the 19th International Conference on Integrated Formal Methods (iFM)
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2024
    Title Program Committee Member at Asiacrypt 2024, 2025
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2024
    Title Invited Talk at the Colloquium on Principles of Verification: Cycling the Probabilistic Landscape
    Type Personally asked as a key note speaker to a conference
    Level of Recognition Continental/International
  • 2024
    Title Research visit and a lecture by Adam O'Neill (University of Massachusetts)
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2024
    Title Program Committee Member at the International conference on Advances in Financial Technologies (AFT)
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2024
    Title Lecturer at Marktoberdorf Summer School 2024
    Type Personally asked as a key note speaker to a conference
    Level of Recognition Continental/International
  • 2024
    Title Research visit and a lecture by Nikos Vasilakis (Brown University)
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2024
    Title Co-chair of International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2024
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2024
    Title General Chair of the 9th IEEE European Symposium on Security and Privacy
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2024
    Title Program Committee Member at the Network and Distributed System Security Symposium (NDSS) 2024
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2024
    Title Invited talk at the maprg Working Group at IETF Meeting 121
    Type Personally asked as a key note speaker to a conference
    Level of Recognition Continental/International
  • 2024
    Title Program Committee Members at the ACM Conference on Computer and Communications Security (CCS) 2024
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2024
    Title Program Committee Member at the Africacrypt Conference
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2024
    Title Technical Speaker at hardwear.io Security Conference 2024
    Type Personally asked as a key note speaker to a conference
    Level of Recognition Continental/International
  • 2024
    Title Member of the Steering committee of the 21st Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA '24)
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2024
    Title Invited Talk at Formal Methods Symposium (FROM) 2024
    Type Personally asked as a key note speaker to a conference
    Level of Recognition National (any country)
  • 2024
    Title Keynote speaker at the 44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
    Type Personally asked as a key note speaker to a conference
    Level of Recognition Continental/International
  • 2024
    Title Steering Committee Member at Network Traffic Measurement and Analysis (TMA) Conference 2024
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2024
    Title Program Committee Member at the 18th International Conference on Provable and Practical Security (ProvSec 2024)
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2024
    Title Invited talk at Dagstuhl Seminar 24111 "Logics for Dependence and Independence: Expressivity and Complexity"
    Type Personally asked as a key note speaker to a conference
    Level of Recognition Continental/International
  • 2024
    Title Editorial Board Member of The IACR Communications in Cryptology (CiC) journal
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2024
    Title Amazon Research Award
    Type Research prize
    Level of Recognition Continental/International
  • 2024
    Title Senior Fellow of Applied Computer Security Associates (ACSA)
    Type Awarded honorary membership, or a fellowship, of a learned society
    Level of Recognition Continental/International
  • 2024
    Title Best Paper Award at the EEE International Symposium on Hardware Oriented Security and Trust (HOST) 2024
    Type Poster/abstract prize
    DOI 10.1109/host55342.2024.10545383
    Level of Recognition Continental/International
  • 2024
    Title Research visit and a lecture by Byron Cook (UCL, Amazon)
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2023
    Title Research visit and a lecture by Kenneth Paterson (ETH Zurich)
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2023
    Title Research visit and a lecture by Mooly Sagiv (Tel Aviv University)
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2023
    Title Keynote speacker at Individualized Cybersecurity Research Mentoring (iMentor) Workshop 2023
    Type Personally asked as a key note speaker to a conference
    Level of Recognition Continental/International
  • 2023
    Title Program Committee Member at the 43rd International Cryptology Conference (Crypto 2023)
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2023
    Title Research visit and a lecture by Chrysoula Stathakopoulou (Chainlink Labs)
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2023
    Title Technical Speaker at hardwear.io Security Conference 2023
    Type Personally asked as a key note speaker to a conference
    Level of Recognition Continental/International
  • 2023
    Title Keynote lecture at the Conference on Neurosymbolic Systems (NEUS)
    Type Personally asked as a key note speaker to a conference
    Level of Recognition Continental/International
  • 2023
    Title Chair of the Steering Committee of the IEEE Computer Security Foundations Symposium
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2023
    Title Keynote speaker at Individualized Cybersecurity Research Mentoring (iMentor) Workshop 2023
    Type Personally asked as a key note speaker to a conference
    Level of Recognition Continental/International
  • 2023
    Title Research visit and a lecture by Alessandro Abate (University of Oxford)
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2023
    Title Hedy Lamarr Prize
    Type Research prize
    Level of Recognition National (any country)
  • 2023
    Title Research visit and a lecture by Christof Ferreira Torres (ETH Zurich)
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2023
    Title Full members of Wolfgang Pauli Institute (WPI) Vienna
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition National (any country)
  • 2023
    Title Research visit and a lecture by Marco Mellia (Politecnico di Torino)
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2023
    Title Research visit and a lecture by Konrad Rieck (TU Berlin)
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2023
    Title Research visit and a lecture by Michele Orrù (Sorbonne Université)
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2023
    Title Member of IFIP WG 1.7 (Theoretical Foundations of Security Analysis and Design)
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2023
    Title Chair of Informatik Austria
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition National (any country)
  • 2023
    Title Program Committee Member at the ACM Conference on Computer and Communications Security (CCS) 2023
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2023
    Title Most Influential DIMVA Paper 2014-2018 Award
    Type Research prize
    Level of Recognition Continental/International
  • 2023
    Title Research visit and a lecture by Frank Leymann (Universität Stuttgart)
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2023
    Title Program Committee Members at the 32nd USENIX Security Symposium
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2023
    Title Research visit and a lecture by Mathieu Jan (CEA LIST) at TU Graz
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2023
    Title Research visit and a lecture by Jean-Max Dutertre (École des Mines de Saint-Étienne) at TU Graz
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2023
    Title Program Committee Memeber at the Annual Computer Security Applications Conference (ACSAC)
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2023
    Title N²Women: Rising Stars in Computer Networking and Communications
    Type Awarded honorary membership, or a fellowship, of a learned society
    Level of Recognition Continental/International
  • 2023
    Title 2023 Area Committee Member of The Computing Research and Education Association of Australasia (CORE Inc.)
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2023
    Title Research visit and a lecture by Christian Cachin (ETH Zurich University of Bern)
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2023
    Title Invited Speaker at the European joint conferences on theory and practice of software (ETAPS) 2023
    Type Personally asked as a key note speaker to a conference
    Level of Recognition Continental/International
  • 2023
    Title Program Committee Chair at the Annual Computer Security Applications Conference (ACSAC)
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2023
    Title PC member of 20th Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA '23)
    Type Prestigious/honorary/advisory position to an external body
    Level of Recognition Continental/International
  • 2023
    Title Research visit and a lecture by Katharina Krombholz (CISPA Helmholtz Center for Information Security)
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2023
    Title Invited talk and panel discussion on network-based attacks in the energy sector at International Digital Security Forum
    Type Personally asked as a key note speaker to a conference
    Level of Recognition National (any country)
  • 2023
    Title Research visit and a lecture by Yossi Oren ( Ben Gurion University of the Negev) at TU Graz
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
Fundings
  • 2025
    Title ERC Advanced Grant "Formal Methods for Secure Blockchain-Oriented Programming (BlockSec)"
    Type Research grant (including intramural programme)
    DOI 10.3030/101141432
    Start of Funding 2025
    Funder European Research Council (ERC)
  • 2025
    Title Risc-V Generation of high performance automative processors and computing platforms (Rigoletto) - Horizon Europe Global Challenges and European Industrial Competitiveness
    Type Research grant (including intramural programme)
    DOI 10.3030/101194371
    Start of Funding 2025
    Funder European Commission
  • 2023
    Title ForSmart: Effective Formal Methods for Smart-Contract Certification
    Type Research grant (including intramural programme)
    Start of Funding 2023
    Funder Vienna Science and Technology Fund
  • 2023
    Title Development and Analysis of QARMA V2
    Type Research grant (including intramural programme)
    Start of Funding 2023
    Funder Arm Limited
  • 2025
    Title ERC Proof of Concept "LEARN: Learning Efficient Automated Reasoning on the Net"
    Type Research grant (including intramural programme)
    Start of Funding 2025
    Funder European Research Council (ERC)
  • 2023
    Title SCALE2: SeCure, privAte, and interoperabLe layEr 2
    Type Research grant (including intramural programme)
    Start of Funding 2023
    Funder Vienna Science and Technology Fund
  • 2023
    Title Sustainable Security through Principled Use of Security and Cryptography
    Type Research grant (including intramural programme)
    Start of Funding 2023
    Funder Intel Corporation
  • 2025
    Title Enabling Secure RISC-V Architectures Through Efficient Software Integrity and Isolation Technologies (RESIST) - Bridge Program
    Type Research grant (including intramural programme)
    Start of Funding 2025
    Funder Austrian Research Promotion Agency
  • 2025
    Title Space data for Improved Electric Energy Consumption and Generation Modeling (space4energy)
    Type Research grant (including intramural programme)
    Start of Funding 2025
    Funder Austrian Research Promotion Agency
  • 2024
    Title LEA - Let's Empower Austria Grant "Abenteuer Informatik"
    Type Research grant (including intramural programme)
    Start of Funding 2024
    Funder Let's Empower Austria
  • 2023
    Title ERC Starting Grant "Foundations for Sustainable Security (FSSec)"
    Type Research grant (including intramural programme)
    DOI 10.3030/101076409
    Start of Funding 2023
    Funder European Research Council (ERC)
  • 2024
    Title Quantum-Safe Critical Infrastructure for Austria (Q-Crit Austria)
    Type Research grant (including intramural programme)
    Start of Funding 2024
    Funder Austrian Research Promotion Agency
  • 2023
    Title Funding of the TUW Cybersecurity Center
    Type Research grant (including intramural programme)
    Start of Funding 2023
    Funder Vienna University of Technology
  • 2025
    Title Automated Reasoning - FWF Doctoral College Program doc.funds
    Type Studentship
    DOI 10.55776/doc1345324
    Start of Funding 2025
    Funder Austrian Science Fund (FWF)
  • 2024
    Title Amazon Research Award 2023
    Type Research grant (including intramural programme)
    Start of Funding 2024
    Funder Amazon.com
  • 2025
    Title SBA-K1 NGC - SBA-K1 NEXT GENERATION CYBERSECURITY (COMET CENTRE K1)
    Type Research grant (including intramural programme)
    Start of Funding 2025
    Funder Austrian Research Promotion Agency
  • 2025
    Title ERC Starting Grant "Keyless cryptography for enhanced security"
    Type Research grant (including intramural programme)
    DOI 10.3030/101165216
    Start of Funding 2025
    Funder European Research Council (ERC)
  • 2023
    Title Fixing the Broken Bridge Between Mobile Apps and the Web
    Type Research grant (including intramural programme)
    Start of Funding 2023
    Funder Vienna Science and Technology Fund
  • 2024
    Title TestCat - Automated Testbeds for the Evaluation of Intrusion Detection Capabilities
    Type Research grant (including intramural programme)
    Start of Funding 2024
    Funder Austrian Research Promotion Agency
  • 2023
    Title LEA - Let's Empower Austria Grant "Abenteuer Informatik fur Volksschulen"
    Type Research grant (including intramural programme)
    Start of Funding 2023
    Funder Let's Empower Austria

Discovering
what
matters.

Newsletter

FWF-Newsletter Press-Newsletter Calendar-Newsletter Job-Newsletter scilog-Newsletter

Contact

Austrian Science Fund (FWF)
Georg-Coch-Platz 2
(Entrance Wiesingerstraße 4)
1010 Vienna

office(at)fwf.ac.at
+43 1 505 67 40

General information

  • Job Openings
  • Jobs at FWF
  • Press
  • Philanthropy
  • scilog
  • FWF Office
  • Social Media Directory
  • LinkedIn, external URL, opens in a new window
  • , external URL, opens in a new window
  • Facebook, external URL, opens in a new window
  • Instagram, external URL, opens in a new window
  • YouTube, external URL, opens in a new window
  • Cookies
  • Whistleblowing/Complaints Management
  • Accessibility Statement
  • Data Protection
  • IFG-Form
  • Acknowledgements
  • © Österreichischer Wissenschaftsfonds FWF
© Österreichischer Wissenschaftsfonds FWF