• Zum Inhalt springen (Accesskey 1)
  • Zur Suche springen (Accesskey 7)
FWF — Österreichischer Wissenschaftsfonds
  • Zur Übersichtsseite Entdecken

    • Forschungsradar
      • Historisches Forschungsradar 1974–1994
      • Open API
    • Entdeckungen
      • 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-Magazin
    • Austrian Science Awards
      • FWF-Wittgenstein-Preise
      • FWF-ASTRA-Preise
      • FWF-START-Preise
      • Auszeichnungsfeier
    • excellent=austria
      • Clusters of Excellence
      • Emerging Fields
    • Im Fokus
      • 40 Jahre Erwin-Schrödinger-Programm
      • Quantum Austria
      • Spezialforschungsbereiche
    • Dialog und Diskussion
      • think.beyond Summit
      • Am Puls
      • Was die Welt zusammenhält
      • FWF Women’s Circle
      • Science Lectures
    • Wissenstransfer-Events
    • E-Book Library
  • Zur Übersichtsseite Fördern

    • Förderportfolio
      • excellent=austria
        • Clusters of Excellence
        • Emerging Fields
      • Projekte
        • Einzelprojekte
        • Einzelprojekte International
        • Klinische Forschung
        • 1000 Ideen
        • Entwicklung und Erschließung der Künste
        • FWF-Wittgenstein-Preis
      • Karrieren
        • ESPRIT
        • FWF-ASTRA-Preise
        • Erwin Schrödinger
        • doc.funds
        • doc.funds.connect
      • Kooperationen
        • Spezialforschungsgruppen
        • Spezialforschungsbereiche
        • Forschungsgruppen
        • International – Multilaterale Initiativen
        • #ConnectingMinds
      • Kommunikation
        • Top Citizen Science
        • Wissenschaftskommunikation
        • Buchpublikationen
        • Digitale Publikationen
        • Open-Access-Pauschale
      • Themenförderungen
        • Belmont Forum
        • ERA-NET HERA
        • ERA-NET NORFACE
        • ERA-NET QuantERA
        • Ersatzmethoden für Tierversuche
        • Europäische Partnerschaft BE READY
        • Europäische Partnerschaft Biodiversa+
        • Europäische Partnerschaft BrainHealth
        • Europäische Partnerschaft ERA4Health
        • Europäische Partnerschaft ERDERA
        • Europäische Partnerschaft EUPAHW
        • Europäische Partnerschaft FutureFoodS
        • Europäische Partnerschaft OHAMR
        • Europäische Partnerschaft PerMed
        • Europäische Partnerschaft Water4All
        • Gottfried-und-Vera-Weiss-Preis
        • LUKE – Ukraine
        • netidee SCIENCE
        • Projekte der Herzfelder-Stiftung
        • Quantum Austria
        • Rückenwind-Förderbonus
        • TRANSCAN
        • WE&ME Award
        • Zero Emissions Award
      • Länderkooperationen
        • Belgien/Flandern
        • Deutschland
        • Frankreich
        • Italien/Südtirol
        • Japan
        • Korea
        • Luxemburg
        • Polen
        • Schweiz
        • Slowenien
        • Taiwan
        • Tirol-Südtirol-Trentino
        • Tschechien
        • Ungarn
    • Schritt für Schritt
      • Förderung finden
      • Antrag einreichen
      • Internationales Peer-Review
      • Förderentscheidung
      • Projekt durchführen
      • Projekt beenden
      • Weitere Informationen
        • Integrität und Ethik
        • Inklusion
        • Antragstellung aus dem Ausland
        • Personalkosten
        • PROFI
        • Projektendberichte
        • Projektendberichtsumfrage
    • FAQ
      • Projektphase PROFI
      • Projektphase Ad personam
      • Auslaufende Programme
        • Elise Richter und Elise Richter PEEK
        • FWF-START-Preise
        • AI Mission Austria
  • Zur Übersichtsseite Über uns

    • Leitbild
    • FWF-Film
    • Werte
    • Zahlen und Daten
    • Jahresbericht
    • Aufgaben und Aktivitäten
      • Forschungsförderung
        • Matching-Funds-Förderungen
      • Internationale Kooperationen
      • Studien und Publikationen
      • Chancengleichheit und Diversität
        • Ziele und Prinzipien
        • Maßnahmen
        • Bias-Sensibilisierung in der Begutachtung
        • Begriffe und Definitionen
        • Karriere in der Spitzenforschung
      • Open Science
        • Open-Access-Policy
          • Open-Access-Policy für begutachtete Publikationen
          • Open-Access-Policy für begutachtete Buchpublikationen
          • Open-Access-Policy für Forschungsdaten
        • Forschungsdatenmanagement
        • Citizen Science
        • Open-Science-Infrastrukturen
        • Open-Science-Förderung
      • Evaluierungen und Qualitätssicherung
      • Wissenschaftliche Integrität
      • Wissenschaftskommunikation
      • Philanthropie
      • Nachhaltigkeit
    • Geschichte
    • Gesetzliche Grundlagen
    • Organisation
      • Gremien
        • Präsidium
        • Aufsichtsrat
        • Delegiertenversammlung
        • Kuratorium
        • Jurys
      • Geschäftsstelle
    • Arbeiten im FWF
  • Zur Übersichtsseite Aktuelles

    • News
    • Presse
      • Logos
    • Eventkalender
      • Veranstaltung eintragen
      • FWF-Infoveranstaltungen
    • Jobbörse
      • Job eintragen
    • Newsletter
  • Entdecken, 
    worauf es
    ankommt.

    FWF-Newsletter Presse-Newsletter Kalender-Newsletter Job-Newsletter scilog-Newsletter

    SOCIAL MEDIA

    • LinkedIn, externe URL, öffnet sich in einem neuen Fenster
    • , externe URL, öffnet sich in einem neuen Fenster
    • Facebook, externe URL, öffnet sich in einem neuen Fenster
    • Instagram, externe URL, öffnet sich in einem neuen Fenster
    • YouTube, externe URL, öffnet sich in einem neuen Fenster

    SCILOG

    • Scilog — Das Wissenschaftsmagazin des Österreichischen Wissenschaftsfonds (FWF)
  • elane-Login, externe URL, öffnet sich in einem neuen Fenster
  • Scilog externe URL, öffnet sich in einem neuen Fenster
  • en Switch to English

  

SPyCODE

Matteo Maffei (ORCID: 0000-0001-8061-1685)
  • Grant-DOI 10.55776/F85
  • Bewilligungs­summe Spezialforschungsbereiche
  • Status laufend
  • Projekt­beginn 01.01.2023
  • Projektende 31.12.2026
  • Bewilligungs­summe 4.417.704 €

Wissenschaftsdisziplinen

Informatik (100%)

Keywords

  • Blockchain,
  • Game Theory,
  • Modeling
Abstract

Soziale Netzwerke, Online-Shopping, digitaler Zahlungsverkehr und viele andere Anwendungen moderner Informations- und Kommunikationstechnologien (IKT) sind Alltag. Leider sind sich nicht alle Nutzer der komplexen Bedeutung von Datenschutz und Sicherheitslücken in modernen Anwendungen bewusst. Obwohl Sicherheit und Privatsphäre unveräußerliche Menschenrechte sind, reichen moderne Technologien oft nicht aus, um diese Rechte zu gewährleisten. Denn moderne IKT sind immer komplexer geworden und bestehen aus mehreren Komponenten, deren Abhängigkeiten für Sicherheit und Schutz der Privatsphäre entscheidend sind. Das übergreifende Ziel von SPyCode ist, die technologischen Grundlagen zu schaffen, um den Grundsatz "Sicherheit und Datenschutz durch Technik", gemäß der neuen europäischen Datenschutzverordnung, umzusetzen. Da Sicherheit und Privatsphäre zentrale Säulen der Digitalisierung sind, sollte der Datenschutz bereits bei der Konzeption von Informationssystemen berücksichtigt werden. Der Kerngedanke ist, die Schnittstellen zwischen den Komponenten moderner IKT zu schützen und deren Komplexität zu entwirren. Dies wird durch eine neue, bahnbrechende Methode zur Sicherung von IKT und Nutzerdaten erreicht. Im Rahmen eines interdisziplinären Forschungsprojekts werden in 14 Projekten mathematische Methoden, formale Logik, Entwurfsansätze, Kryptographie und Verifizierungstechniken entwickelt und kombiniert, um höchste Datensicherheit zu gewährleisten. Ein einzigartiges Merkmal von SPyCoDe ist die Kombination von Grundlagenforschung auf Weltklasseniveau mit unmittelbarer Auswirkung auf Gesellschaft und Industrie. SpyCoDe konzentriert sich auf Kernsysteme und Anwendungen, die in der heutigen digitalen Gesellschaft täglich genutzt werden. Besonderes Augenmerk wird auf Prozessoren, mobile Anwendungen, Blockchains und Smart Contracts gelegt. Neben neuen Technologien wird SPyCoDe auch die kommende Generation von Spezialisten in diesem wichtigen Bereich ausbilden. SpyCoDe bündelt den Einsatz von 5 österreichischen Institutionen. Der Projektkoordinator ist Matteo Maffei von der Technischen Universität Wien. Die Mitglieder des Forschungsnetzwerks sind die TU Wien (E. Andreeva, G. Fuchsbauer, L. Kovacs, M. Lindorfer, M. Maffei), die TU Graz (R. Bloem, M. Eichlseder, D. Gruss, S. Mangard), das Institute of Science and Technology Austria (T.A. Henzinger, E. Kokoris-Kogia, K. Pietrzak), die Alpen-Adria-Universität Klagenfurt (E. Oswald) und die Universität Wien (J. Ullrich). Dieses Konsortium ist in einer einzigartigen Position, dieses anspruchsvolle Forschungsprogramm durch wissenschaftliche Exzellenz, akademische Zusammenarbeit, Förderung junger Wissenschaftler und Aufbau einer vielfältigen wissenschaftlichen Gemeinschaft umzusetzen. Das Team umfasst weltweit Experten aus allen SPyCoDe-Kerndisziplinen, darunter 7 ERC- Stipendiaten, 6 junge Forscher, die bereits prestigeträchtige Auszeichnungen erhalten haben, und über 40 % weibliche Forscherinnen.

Konsortium
  • Chitchanok Chuengsatiansup, Universität Klagenfurt
    Konsortiumsmitglied (01.01.2023 -)
  • Daniel Gruss, Technische Universität Graz
    Konsortiumsmitglied (01.01.2023 -)
  • Elena Andreeva, Technische Universität Wien
    Konsortiumsmitglied (01.01.2023 -)
  • Georg Fuchsbauer, Technische Universität Wien
    Konsortiumsmitglied (01.01.2023 -)
  • Georgia (Zeta) Avarikioti, Technische Universität Wien
    Konsortiumsmitglied (01.01.2023 -)
  • Johanna Ullrich, IT U Interdisciplinary Transformation University Austria
    Konsortiumsmitglied (01.01.2023 -)
  • Krzysztof Pietrzak, Institute of Science and Technology Austria - ISTA
    Konsortiumsmitglied (01.01.2023 -)
  • Laura Kovacs, Technische Universität Wien
    Konsortiumsmitglied (01.01.2023 -)
  • Maria Eichlseder, Technische Universität Graz
    Konsortiumsmitglied (01.01.2023 -)
  • Martina Lindorfer, Technische Universität Wien
    Konsortiumsmitglied (01.01.2023 -)
  • Matteo Maffei, Technische Universität Wien
    Koordinator:in (01.01.2023 -)
  • Roderick Bloem, Technische Universität Graz
    Konsortiumsmitglied (01.01.2023 -)
  • Stefan Mangard, Technische Universität Graz
    Konsortiumsmitglied (01.01.2023 -)
  • Thomas A. Henzinger, Institute of Science and Technology Austria - ISTA
    Konsortiumsmitglied (01.01.2023 -)
Forschungsstätte(n)
  • Technische Universität Wien

Research Output

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

Entdecken, 
worauf es
ankommt.

Newsletter

FWF-Newsletter Presse-Newsletter Kalender-Newsletter Job-Newsletter scilog-Newsletter

Kontakt

Österreichischer Wissenschaftsfonds FWF
Georg-Coch-Platz 2
(Eingang Wiesingerstraße 4)
1010 Wien

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

Allgemeines

  • Jobbörse
  • Arbeiten im FWF
  • Presse
  • Philanthropie
  • scilog
  • Geschäftsstelle
  • Social Media Directory
  • LinkedIn, externe URL, öffnet sich in einem neuen Fenster
  • , externe URL, öffnet sich in einem neuen Fenster
  • Facebook, externe URL, öffnet sich in einem neuen Fenster
  • Instagram, externe URL, öffnet sich in einem neuen Fenster
  • YouTube, externe URL, öffnet sich in einem neuen Fenster
  • Cookies
  • Hinweisgeber:innensystem
  • Barrierefreiheitserklärung
  • Datenschutz
  • IFG-Formular
  • Impressum
  • © Österreichischer Wissenschaftsfonds FWF
© Österreichischer Wissenschaftsfonds FWF