• 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
    • 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
        • AI Mission Austria
        • 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
        • 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
  • 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

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

  • 107 Publications
  • 2 Policies
  • 2 Artistic Creations
  • 8 Methods & Materials
  • 3 Datasets & models
  • 10 Software
  • 88 Disseminations
  • 131 Scientific Awards
  • 20 Fundings
Publications
  • 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
  • 2025
    Title AutoDiVer: Automatically Verifying Differential Characteristics and Learning Key Conditions
    DOI 10.46586/tosc.v2025.i1.471-514
    Type Journal Article
    Author Ghosh S
    Journal IACR Transactions on Symmetric Cryptology
  • 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
  • 2025
    Title Monitoring Extended Hypernode Logic; In: Integrated Formal Methods - 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings
    DOI 10.1007/978-3-031-76554-4_9
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2025
    Title PolySAT: Word-level Bit-vector Reasoning inZ3; In: Verified Software. Theories, Tools and Experiments - 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers
    DOI 10.1007/978-3-031-86695-1_4
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2025
    Title Breaking theIEEE Encryption Standard XCB-AES inTwo Queries; In: Advances in Cryptology - CRYPTO 2025 - 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part V
    DOI 10.1007/978-3-032-01901-1_6
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2025
    Title Not So Secure TSC; In: Applied Cryptography and Network Security - 23rd International Conference, ACNS 2025, Munich, Germany, June 23-26, 2025, Proceedings, Part II
    DOI 10.1007/978-3-031-95764-2_1
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2025
    Title The HMB Timing Side Channel: Exploiting theSSD's Host Memory Buffer; In: Detection of Intrusions and Malware, and Vulnerability Assessment - 22nd International Conference, DIMVA 2025, Graz, Austria, July 9-11, 2025, Proceedings, Part I
    DOI 10.1007/978-3-031-97620-9_10
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2025
    Title Cohere+Reload: Re-enabling High-Resolution Cache Attacks onAMD SEV-SNP; In: Detection of Intrusions and Malware, and Vulnerability Assessment - 22nd International Conference, DIMVA 2025, Graz, Austria, July 9-11, 2025, Proceedings, Part I
    DOI 10.1007/978-3-031-97620-9_11
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2025
    Title The Vampire Diary; In: Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III
    DOI 10.1007/978-3-031-98682-6_4
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2025
    Title Fast and Efficient Secure L1 Caches for SMT; In: Availability, Reliability and Security - 20th International Conference, ARES 2025, Ghent, Belgium, August 11-14, 2025, Proceedings, Part II
    DOI 10.1007/978-3-032-00627-1_6
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2025
    Title Schnorr Signatures are Tightly Secure intheROM Under aNon-interactive Assumption; In: Advances in Cryptology - CRYPTO 2025 - 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part VI
    DOI 10.1007/978-3-032-01887-8_8
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2025
    Title Gray-box runtime enforcement of hyperproperties
    DOI 10.1007/s00236-025-00502-1
    Type Journal Article
    Author Hsu T
    Journal Acta Informatica
  • 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
  • 2025
    Title Real-World Study of the Security of Educational Test Systems
    DOI 10.1109/eurospw67616.2025.00074
    Type Conference Proceeding Abstract
    Author Felix 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
  • 2025
    Title Hypernode automata
    DOI 10.1007/s00236-025-00509-8
    Type Journal Article
    Author Bartocci E
    Journal Acta Informatica
  • 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 Let's Move2EVM
    Type Conference Proceeding Abstract
    Author Benetollo L.
    Conference SEC '25: 34th USENIX Conference on Security Symposium
    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 On Loopy Belief Propagation for SASCAs An Analysis and Empirical Study of the Inference Problem
    DOI 10.62056/ayl8ksdja
    Type Journal Article
    Author Cassiers G
    Journal IACR Communications in Cryptology
  • 2025
    Title Alba: The Dawn of Scalable Bridges for Blockchains
    DOI 10.14722/ndss.2025.241286
    Type Conference Proceeding Abstract
    Author Aumayr L
  • 2025
    Title CounterSEVeillance: Performance-Counter Attacks on AMD SEV-SNP
    DOI 10.14722/ndss.2025.241038
    Type Conference Proceeding Abstract
    Author Gast S
  • 2025
    Title KernelSnitch: Side Channel-Attacks on Kernel Data Structures
    DOI 10.14722/ndss.2025.240223
    Type Conference Proceeding Abstract
    Author Juffinger J
  • 2025
    Title Secret Spilling Drive: Leaking User Behavior through SSD Contention
    DOI 10.14722/ndss.2025.230208
    Type Conference Proceeding Abstract
    Author Juffinger J
  • 2025
    Title On Security Proofs ofExisting Equivalence Class Signature Schemes; In: Advances in Cryptology - ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part II
    DOI 10.1007/978-981-96-0888-1_1
    Type Book Chapter
    Publisher Springer Nature Singapore
  • 2025
    Title Privacy-Preserving Runtime Verification
    DOI 10.1145/3719027.3765137
    Type Conference Proceeding Abstract
    Author Henzinger T
    Pages 2774-2787
  • 2025
    Title Wanilla: Sound Noninterference Analysis for WebAssembly
    DOI 10.1145/3719027.3765156
    Type Conference Proceeding Abstract
    Author Blaabjerg J
    Pages 126-140
  • 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 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
  • 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 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 Wappler: Sound Reachability Analysis for WebAssembly
    DOI 10.1109/csf61375.2024.00025
    Type Conference Proceeding Abstract
    Author Blaabjerg J
    Pages 249-264
  • 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 Security Aspects of Masking on FPGAs
    DOI 10.1109/host55342.2024.10545383
    Type Conference Proceeding Abstract
    Author Gigerl B
    Pages 199-210
  • 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
  • 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 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 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 Monitoring Hypernode Logic Over Infinite Domains; In: Runtime Verification - 25th International Conference, RV 2025, Graz, Austria, September 15-19, 2025, Proceedings
    DOI 10.1007/978-3-032-05435-7_23
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 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 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 Zero-Click SnailLoad: From Minimal toNo User Interaction; In: Computer Security - ESORICS 2025 - 30th European Symposium on Research in Computer Security, Toulouse, France, September 22-24, 2025, Proceedings, Part IV
    DOI 10.1007/978-3-032-07901-5_6
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2026
    Title Space-Deniable Proofs; In: Theory of Cryptography - 23rd International Conference, TCC 2025, Aarhus, Denmark, December 1-5, 2025, Proceedings, Part IV
    DOI 10.1007/978-3-032-12290-2_6
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2026
    Title Constrained Verifiable Random Functions Without Obfuscation andFriends; In: Theory of Cryptography - 23rd International Conference, TCC 2025, Aarhus, Denmark, December 1-5, 2025, Proceedings, Part IV
    DOI 10.1007/978-3-032-12290-2_16
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2026
    Title Sonikku: Gotta Speed, Keed! A Family ofFast andSecure MACs; In: Cryptology and Network Security - 24th International Conference, CANS 2025, Osaka, Japan, November 17-20, 2025, Proceedings
    DOI 10.1007/978-981-95-4434-9_6
    Type Book Chapter
    Publisher Springer Nature Singapore
  • 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
  • 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 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
  • 2023
    Title Hypernode Automata
    Type Conference Proceeding Abstract
    Author Bartocci E.
    Conference 34th International Conference on Concurrency Theory (CONCUR 2023)
    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 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 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
  • 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 Securing Lightning Channels against Rational Miners
    DOI 10.1145/3658644.3670373
    Type Conference Proceeding Abstract
    Author Aumayr L
    Pages 393-407
  • 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
  • 2024
    Title OAE-RUP: A Strong Online AEAD Security Notion andIts Application toSAEF; In: Security and Cryptography for Networks - 14th International Conference, SCN 2024, Amalfi, Italy, September 11-13, 2024, Proceedings, Part II
    DOI 10.1007/978-3-031-71073-5_6
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2024
    Title Leakage Certification Made Simple; In: Advances in Cryptology - CRYPTO 2024 - 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part VI
    DOI 10.1007/978-3-031-68391-6_13
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2024
    Title Revisiting Differential-Linear Attacks viaaBoomerang Perspective with Application toAES, Ascon, CLEFIA, SKINNY, PRESENT, KNOT, TWINE, WARP, LBlock, Simeck, andSERPENT; In: Advances in Cryptology - CRYPTO 2024 - 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part IV
    DOI 10.1007/978-3-031-68385-5_2
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2024
    Title Reducibility Constraints inSuperposition; In: Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
    DOI 10.1007/978-3-031-63498-7_8
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2024
    Title Verifying Global Two-Safety Properties inNeural Networks withConfidence; In: Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II
    DOI 10.1007/978-3-031-65630-9_17
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2024
    Title Automated Sensitivity Analysis forProbabilistic Loops; In: Integrated Formal Methods - 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings
    DOI 10.1007/978-3-031-47705-8_2
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2024
    Title Proof ofAvailability andRetrieval inaModular Blockchain Architecture; In: Financial Cryptography and Data Security - 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part II
    DOI 10.1007/978-3-031-47751-5_3
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2024
    Title Executing andProving OverDirty Ledgers; In: Financial Cryptography and Data Security - 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part I
    DOI 10.1007/978-3-031-47754-6_1
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2024
    Title Induction inSaturation; In: Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
    DOI 10.1007/978-3-031-63498-7_2
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2024
    Title Synthesis ofRecursive Programs inSaturation; In: Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
    DOI 10.1007/978-3-031-63498-7_10
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2024
    Title Presshammer: Rowhammer andRowpress Without Physical Address Information; In: Detection of Intrusions and Malware, and Vulnerability Assessment - 21st International Conference, DIMVA 2024, Lausanne, Switzerland, July 17-19, 2024, Proceedings
    DOI 10.1007/978-3-031-64171-8_24
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2024
    Title Masked Iterate-Fork-Iterate: A New Design Paradigm forTweakable Expanding Pseudorandom Function; In: Applied Cryptography and Network Security - 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part II
    DOI 10.1007/978-3-031-54773-7_17
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2024
    Title Updatable Public-Key Encryption, Revisited; In: Advances in Cryptology - EUROCRYPT 2024 - 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part VII
    DOI 10.1007/978-3-031-58754-2_13
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2024
    Title Trapdoor Memory-Hard Functions; In: Advances in Cryptology - EUROCRYPT 2024 - 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part III
    DOI 10.1007/978-3-031-58734-4_11
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2024
    Title On Proving Equivalence Class Signatures Secure fromNon-interactive Assumptions; In: Public-Key Cryptography - PKC 2024 - 27th IACR International Conference on Practice and Theory of Public-Key Cryptography, Sydney, NSW, Australia, April 15-17, 2024, Proceedings, Part I
    DOI 10.1007/978-3-031-57718-5_1
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 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
  • 2024
    Title IdleLeak: Exploiting Idle State Side Effects for Information Leakage
    DOI 10.14722/ndss.2024.24078
    Type Conference Proceeding Abstract
    Author Kogler A
  • 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 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 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
  • 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 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 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 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 Rewriting and Inductive Reasoning.
    Type Conference Proceeding Abstract
    Author Hajdu M.
    Conference 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning.
    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 Non-Classical Logics inSatisfiability Modulo Theories; In: Automated Reasoning with Analytic Tableaux and Related Methods - 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
    DOI 10.1007/978-3-031-43513-3_2
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2023
    Title Reshaping Unplugged Computer Science Workshops forPrimary School Education; In: Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education - 16th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2023, Lausanne, Switzerland, October 23-25, 2023, Proceedings
    DOI 10.1007/978-3-031-44900-0_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 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
  • 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 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 SUIT: Secure Undervolting with Instruction Traps
    DOI 10.1145/3620665.3640373
    Type Conference Proceeding Abstract
    Author Juffinger J
    Pages 1128-1145
  • 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
  • 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
  • 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 Gerhalter S
    Journal IACR Transactions on Symmetric Cryptology
  • 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
  • 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 Hadži´C V
    Journal IACR Transactions on Cryptographic Hardware and Embedded Systems
  • 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
  • 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
  • 2023
    Title ALASCA: Reasoning in Quantified Linear Arithmetic; In: Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
    DOI 10.1007/978-3-031-30823-9_33
    Type Book Chapter
    Publisher Springer Nature Switzerland
  • 2023
    Title Finding theImpossible: Automated Search forFull Impossible-Differential, Zero-Correlation, andIntegral Attacks; In: Advances in Cryptology - EUROCRYPT 2023 - 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part IV
    DOI 10.1007/978-3-031-30634-1_5
    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
  • 2023
    Title CheckMate: Automated Game-Theoretic Security Reasoning
    DOI 10.1145/3576915.3623183
    Type Conference Proceeding Abstract
    Author Brugger L
    Pages 1407-1421
  • 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
  • 2023
    Title Cryptographically Enforced Memory Safety
    DOI 10.1145/3576915.3623138
    Type Conference Proceeding Abstract
    Author Schrammel D
    Pages 889-903
  • 2023
    Title Secure Context Switching of Masked Software Implementations
    DOI 10.1145/3579856.3595798
    Type Conference Proceeding Abstract
    Author Gigerl B
    Pages 980-992
  • 2023
    Title Satisfiability Modulo Custom Theories inZ3; In: Verification, Model Checking, and Abstract Interpretation - 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
    DOI 10.1007/978-3-031-24950-1_5
    Type Book Chapter
    Publisher Springer Nature Switzerland
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 Virtual Integer-Real Arithmetic Substitution (Viras)
    DOI 10.29007/kg4v
    Type Improvements to research infrastructure
    Public Access
    Link Link
  • 2024
    Title CheckMate
    DOI 10.29007/llnq
    Type Improvements to research infrastructure
    Public Access
  • 2024 Link
    Title Skye
    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 Leakage Certification Methods
    Type Improvements to research infrastructure
    Public Access
    Link Link
  • 2023
    Title ALASCA
    DOI 10.1007/978-3-031-30823-9_33
    Type Improvements to research infrastructure
    Public Access
Datasets & models
  • 2025
    Title Wanilla: Sound Noninterference Analysis for WebAssembly (artifacts)
    DOI 10.48436/hc4rp-xp328
    Type Database/Collection of data
    Public Access
  • 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
  • 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
Software
  • 2025 Link
    Title Alba
    Link Link
  • 2025 Link
    Title Vampire
    DOI 10.1007/978-3-031-98682-6_4
    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 CheckMate
    DOI 10.29007/llnq
    Link Link
  • 2024 Link
    Title CryptoVampire
    Link Link
  • 2024 Link
    Title IPv6 Measurement Tool
    DOI 10.1145/3646547.3688420
    Link Link
  • 2024 Link
    Title SLUBStick
    Link Link
  • 2023 Link
    Title Cost evaluation for Glimpse
    Link Link
  • 2023 Link
    Title Glimpse
    Link Link
Disseminations
  • 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 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 Research Seminar "SnailLoad: Exploiting Remote Network Latency Measurements without JavaScript"
    Type A talk or presentation
    Link Link
  • 2024 Link
    Title Research Seminar "Rational protocol design"
    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
  • 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
  • 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
  • 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 Keynote at FinTechWeek Vienna 2024
    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
  • 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
  • 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
  • 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 Female Mentoring Session at Summer School on Artificial Intelligence and Cybersecurity
    Type Participation in an activity, workshop or similar
    Link Link
  • 2024 Link
    Title Research Seminar "Efficient and Secure Compression Functions for Arithmetization-Oriented Hashing"
    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 Radio interviews for Ö1: "Workout im Metaversum"
    Type A broadcast e.g. TV/radio/film/podcast (other than news/press)
    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 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 Invited speaker at the 1st Workshop on Generic Attacks and Proofs in Symmetric Cryptography (GASP 2025)
    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
  • 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
  • 2023 Link
    Title Research Seminar "A Forkcipher-based Pseudo-Random Number Generator"
    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
  • 2023 Link
    Title Research Seminar "SMT or a Shelter for Theory and Logics"
    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
  • 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 blockchains in network transition periods"
    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 Invited speaker at the DynAMiCs workshop
    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
  • 2025 Link
    Title Research Seminar "Securing Distributed Hash Tables using Proofs of Space"
    Type A talk or presentation
    Link Link
  • 2024 Link
    Title Research Seminar "Provable Side-Channel Resilience in Hardware and Software"
    Type A talk or presentation
    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 "String Solving via Extended Nielsen Rules"
    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 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 Presentation at the 20th ICT Security Conference (IKT-Sicherheitskonferenz 2024)
    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 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 Summer School - Graz Security Week
    Type Participation in an activity, workshop or similar
    Link Link
  • 2023 Link
    Title Public Lecture "Sustainable Blockchains"
    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 Research Seminar "PYTHIA: Supercharging Parallel Smart Contract Execution with the help of Optimistic Predictions"
    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
  • 2023 Link
    Title Research Seminar "Efficient Multi-tuple Leakage Detection Testing in Side-channel"
    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 Research Seminar "CPU Undervolting: Exploits and Potentials"
    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
  • 2025 Link
    Title Panel discussion at the Digital Humanism Conference.
    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
  • 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 Radio interviews for Ö1: "Datenschleuder Fitness-App"
    Type A broadcast e.g. TV/radio/film/podcast (other than news/press)
    Link Link
  • 2023 Link
    Title Contributed talk at HYPER 2023
    Type Participation in an activity, workshop or similar
    Link Link
  • 2024 Link
    Title Invited talk in the seminar series "Women in Logic Online"
    Type A talk or presentation
    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
  • 2025 Link
    Title Research Seminar "ALASCA: Reasoning in Quantified Linear Arithmetic"
    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
  • 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
  • 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
  • 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
  • 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
  • 2025 Link
    Title Talk on "Artificial Intelligence in Research and Innovation" at ASSAI event
    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
  • 2025 Link
    Title Interview for "Die Presse"
    Type A magazine, newsletter or online publication
    Link Link
  • 2024 Link
    Title Research Seminar "Trapdoor Memory-Hard Functions"
    Type A talk or presentation
    Link Link
  • 2025 Link
    Title Research Seminar "Committing Security of Encode-then-Encipher"
    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
  • 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 Research Seminar "Space-Deniable Proofs"
    Type A talk or presentation
    Link Link
Scientific Awards
  • 2025
    Title Sub-Auspiciis Doctorate
    Type Honorary Degree
    Level of Recognition National (any country)
  • 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 Members at the Cryptographers' Track at RSA Conference
    Type Prestigious/honorary/advisory position to an external body
    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 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 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 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 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 Christoph Kerschbaumer (Mozilla) at TU Graz
    Type Attracted visiting staff or user to your research group
    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 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 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 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 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 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 Organizing Committee member of HYPER 2025
    Type Prestigious/honorary/advisory position to an external body
    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 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 at TU Wien
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 2025
    Title 2025 Research Promotion Award of the State of Styria
    Type Research prize
    Level of Recognition Regional (any country)
  • 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 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 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 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 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 Associate Editor of Journal of Computer Security
    Type Prestigious/honorary/advisory position to an external body
    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 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 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)
  • 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)
  • 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 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 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 Foreign Member of Royal Society
    Type Awarded honorary membership, or a fellowship, of a learned society
    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 Invited lecture by Caroline Trippel (Stanford University)
    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 Nikolaj Bjorner (Microsoft Research)
    Type Attracted visiting staff or user to your research group
    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 Members at the 33rd USENIX Security Symposium
    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 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 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 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 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 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 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 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 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 Briefing at Blackhat USA 2024
    Type Personally asked as a key note speaker to a conference
    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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 Member at the Africacrypt Conference
    Type Prestigious/honorary/advisory position to an external body
    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 Giancarlo Guizzardi (University of Twente)
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 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 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 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 Amazon Research Award
    Type Research prize
    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 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 Adam O'Neill (University of Massachusetts)
    Type Attracted visiting staff or user to your research group
    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 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 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 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 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 Chrysoula Stathakopoulou (Chainlink Labs)
    Type Attracted visiting staff or user to your research group
    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 Michele Orrù (Sorbonne Université)
    Type Attracted visiting staff or user to your research group
    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 Konrad Rieck (TU Berlin)
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 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 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 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 Most Influential DIMVA Paper 2014-2018 Award
    Type Research prize
    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 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 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 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 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 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 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 Christian Cachin (ETH Zurich University of Bern)
    Type Attracted visiting staff or user to your research group
    Level of Recognition Continental/International
  • 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 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
  • 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 Mooly Sagiv (Tel Aviv University)
    Type Attracted visiting staff or user to your research group
    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 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 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 Hedy Lamarr Prize
    Type Research prize
    Level of Recognition National (any country)
  • 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 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 Chair of Informatik Austria
    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
Fundings
  • 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
  • 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
  • 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
  • 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
  • 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)
  • 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
  • 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
  • 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
  • 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 Automated Reasoning - FWF Doctoral College Program doc.funds
    Type Studentship
    DOI 10.55776/doc1345324
    Start of Funding 2025
    Funder Austrian Science Fund (FWF)

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
  • Acknowledgements
  • IFG-Form
  • Social Media Directory
  • © Österreichischer Wissenschaftsfonds FWF
© Österreichischer Wissenschaftsfonds FWF