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

    • Forschungsradar
      • Historisches Forschungsradar 1974–1994
    • 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
        • AI Mission Austria
        • 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
        • 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
  • 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

SPyCODE

Matteo Maffei (ORCID: 0000-0001-8061-1685)
  • Grant-DOI 10.55776/F85
  • Förderprogramm Spezialforschungsbereiche
  • Status laufend
  • Projektbeginn 01.01.2023
  • Projektende 31.12.2026
  • Bewilligungssumme 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
    Konsortiumsmitglied (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

  • 105 Publikationen
  • 2 Policies
  • 2 Künstlerischer Output
  • 8 Methoden & Materialien
  • 3 Datasets & Models
  • 10 Software
  • 88 Disseminationen
  • 131 Wissenschaftliche Auszeichnungen
  • 20 Weitere Förderungen
Publikationen
  • 2025
    Titel Hypernode automata
    DOI 10.1007/s00236-025-00509-8
    Typ Journal Article
    Autor Bartocci E
    Journal Acta Informatica
  • 2025
    Titel Gray-box runtime enforcement of hyperproperties
    DOI 10.1007/s00236-025-00502-1
    Typ Journal Article
    Autor Hsu T
    Journal Acta Informatica
  • 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 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
    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 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 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 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 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
  • 2026
    Titel 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
    Typ Book Chapter
    Verlag Springer Nature Switzerland
  • 2026
    Titel 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
    Typ Book Chapter
    Verlag Springer Nature Switzerland
  • 2026
    Titel 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
    Typ Book Chapter
    Verlag Springer Nature Singapore
  • 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 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
    Typ Book Chapter
    Verlag Springer Nature Switzerland
  • 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 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
  • 2025
    Titel AutoDiVer: Automatically Verifying Differential Characteristics and Learning Key Conditions
    DOI 10.46586/tosc.v2025.i1.471-514
    Typ Journal Article
    Autor Ghosh S
    Journal IACR Transactions on Symmetric Cryptology
  • 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
  • 2025
    Titel 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
    Typ Book Chapter
    Verlag Springer Nature Switzerland
  • 2025
    Titel 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
    Typ Book Chapter
    Verlag Springer Nature Switzerland
  • 2025
    Titel Wanilla: Sound Noninterference Analysis for WebAssembly
    DOI 10.1145/3719027.3765156
    Typ Conference Proceeding Abstract
    Autor Blaabjerg J
    Seiten 126-140
  • 2025
    Titel 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
    Typ Book Chapter
    Verlag Springer Nature Switzerland
  • 2025
    Titel 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
    Typ Book Chapter
    Verlag Springer Nature Switzerland
  • 2025
    Titel 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
    Typ Book Chapter
    Verlag Springer Nature Switzerland
  • 2025
    Titel 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
    Typ Book Chapter
    Verlag Springer Nature Switzerland
  • 2025
    Titel 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
    Typ Book Chapter
    Verlag Springer Nature Switzerland
  • 2025
    Titel On Loopy Belief Propagation for SASCAs An Analysis and Empirical Study of the Inference Problem
    DOI 10.62056/ayl8ksdja
    Typ Journal Article
    Autor Cassiers G
    Journal IACR Communications in Cryptology
  • 2025
    Titel 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
    Typ Book Chapter
    Verlag Springer Nature Switzerland
  • 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
  • 2025
    Titel 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
    Typ Book Chapter
    Verlag Springer Nature Switzerland
  • 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
  • 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
  • 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 Real-World Study of the Security of Educational Test Systems
    DOI 10.1109/eurospw67616.2025.00074
    Typ Conference Proceeding Abstract
    Autor Felix 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
  • 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 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
    Typ Book Chapter
    Verlag Springer Nature Singapore
  • 2025
    Titel Alba: The Dawn of Scalable Bridges for Blockchains
    DOI 10.14722/ndss.2025.241286
    Typ Conference Proceeding Abstract
    Autor Aumayr L
  • 2025
    Titel CounterSEVeillance: Performance-Counter Attacks on AMD SEV-SNP
    DOI 10.14722/ndss.2025.241038
    Typ Conference Proceeding Abstract
    Autor Gast S
  • 2025
    Titel KernelSnitch: Side Channel-Attacks on Kernel Data Structures
    DOI 10.14722/ndss.2025.240223
    Typ Conference Proceeding Abstract
    Autor Juffinger J
  • 2025
    Titel Secret Spilling Drive: Leaking User Behavior through SSD Contention
    DOI 10.14722/ndss.2025.230208
    Typ Conference Proceeding Abstract
    Autor Juffinger J
  • 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
  • 2024
    Titel SUIT: Secure Undervolting with Instruction Traps
    DOI 10.1145/3620665.3640373
    Typ Conference Proceeding Abstract
    Autor Juffinger J
    Seiten 1128-1145
  • 2024
    Titel IdleLeak: Exploiting Idle State Side Effects for Information Leakage
    DOI 10.14722/ndss.2024.24078
    Typ Conference Proceeding Abstract
    Autor Kogler A
  • 2024
    Titel Wappler: Sound Reachability Analysis for WebAssembly
    DOI 10.1109/csf61375.2024.00025
    Typ Conference Proceeding Abstract
    Autor Blaabjerg J
    Seiten 249-264
  • 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 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 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
  • 2024
    Titel Security Aspects of Masking on FPGAs
    DOI 10.1109/host55342.2024.10545383
    Typ Conference Proceeding Abstract
    Autor Gigerl B
    Seiten 199-210
  • 2023
    Titel CheckMate: Automated Game-Theoretic Security Reasoning
    DOI 10.1145/3576915.3623183
    Typ Conference Proceeding Abstract
    Autor Brugger L
    Seiten 1407-1421
  • 2023
    Titel Cryptographically Enforced Memory Safety
    DOI 10.1145/3576915.3623138
    Typ Conference Proceeding Abstract
    Autor Schrammel D
    Seiten 889-903
  • 2023
    Titel Secure Context Switching of Masked Software Implementations
    DOI 10.1145/3579856.3595798
    Typ Conference Proceeding Abstract
    Autor Gigerl B
    Seiten 980-992
  • 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
  • 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
  • 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 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
    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 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
    Typ Book Chapter
    Verlag Springer Nature Switzerland
  • 2023
    Titel 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
    Typ Book Chapter
    Verlag Springer Nature Switzerland
  • 2023
    Titel 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
    Typ Book Chapter
    Verlag Springer Nature Switzerland
  • 2023
    Titel 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
    Typ Book Chapter
    Verlag Springer Nature Switzerland
  • 2024
    Titel 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
    Typ Book Chapter
    Verlag Springer Nature Switzerland
  • 2024
    Titel 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
    Typ Book Chapter
    Verlag Springer Nature Switzerland
  • 2024
    Titel 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
    Typ Book Chapter
    Verlag Springer Nature Switzerland
  • 2024
    Titel 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
    Typ Book Chapter
    Verlag Springer Nature Switzerland
  • 2024
    Titel 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
    Typ Book Chapter
    Verlag Springer Nature Switzerland
  • 2024
    Titel 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
    Typ Book Chapter
    Verlag Springer Nature Switzerland
  • 2024
    Titel 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
    Typ Book Chapter
    Verlag Springer Nature Switzerland
  • 2024
    Titel 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
    Typ Book Chapter
    Verlag Springer Nature Switzerland
  • 2024
    Titel 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
    Typ Book Chapter
    Verlag Springer Nature Switzerland
  • 2024
    Titel 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
    Typ Book Chapter
    Verlag Springer Nature Switzerland
  • 2024
    Titel 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
    Typ Book Chapter
    Verlag Springer Nature Switzerland
  • 2024
    Titel 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
    Typ Book Chapter
    Verlag Springer Nature Switzerland
  • 2024
    Titel 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
    Typ Book Chapter
    Verlag Springer Nature Switzerland
  • 2024
    Titel 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
    Typ Book Chapter
    Verlag Springer Nature Switzerland
  • 2024
    Titel 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
    Typ Book Chapter
    Verlag Springer Nature Switzerland
  • 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 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
  • 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
  • 2024
    Titel Securing Lightning Channels against Rational Miners
    DOI 10.1145/3658644.3670373
    Typ Conference Proceeding Abstract
    Autor Aumayr L
    Seiten 393-407
  • 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 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 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 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 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 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 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 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
  • 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 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 Cryptanalysis of QARMAv2
    DOI 10.46586/tosc.v2024.i1.188-213
    Typ Journal Article
    Autor Hadipour H
    Journal IACR Transactions on Symmetric Cryptology
  • 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 Gerhalter S
    Journal IACR Transactions on Symmetric Cryptology
  • 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
  • 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
  • 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 Hadži´C V
    Journal IACR Transactions on Cryptographic Hardware and Embedded Systems
  • 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
  • 2023
    Titel Hypernode Automata
    Typ Conference Proceeding Abstract
    Autor Bartocci E.
    Konferenz 34th International Conference on Concurrency Theory (CONCUR 2023)
    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 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 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 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
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 HALY
    Typ Improvements to research infrastructure
    Öffentlich zugänglich
  • 2025
    Titel PolySAT
    DOI 10.1007/978-3-031-86695-1_4
    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
    Titel CheckMate
    DOI 10.29007/llnq
    Typ Improvements to research infrastructure
    Öffentlich zugänglich
  • 2024 Link
    Titel Skye
    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 Leakage Certification Methods
    Typ Improvements to research infrastructure
    Öffentlich zugänglich
    Link Link
  • 2023
    Titel ALASCA
    DOI 10.1007/978-3-031-30823-9_33
    Typ Improvements to research infrastructure
    Öffentlich zugänglich
Datasets & Models
  • 2025
    Titel Wanilla: Sound Noninterference Analysis for WebAssembly (artifacts)
    DOI 10.48436/hc4rp-xp328
    Typ Database/Collection of data
    Öffentlich zugänglich
  • 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
  • 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
Software
  • 2025 Link
    Titel Alba
    Link Link
  • 2025 Link
    Titel Proof-of-Concept of the ALBA Smart Contract
    DOI 10.5281/zenodo.14249987
    Link Link
  • 2025 Link
    Titel Vampire
    DOI 10.1007/978-3-031-98682-6_4
    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 SUIT - Secure Undervolting with Instruction Traps
    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 Research Seminar "VIRAS: A Conflict-Driven Decision Procedure for mixed Integer-Real Arithmetic"
    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
  • 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
  • 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
  • 2023 Link
    Titel Contributed talk at HYPER 2023
    Typ Participation in an activity, workshop or similar
    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 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 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 A talk at "Digitale Kompetenzen - Algorithmen, KI & Ethik"
    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 Research Seminar "Secure implementation of the masking countermeasure on different platforms"
    Typ A talk or presentation
    Link Link
  • 2024 Link
    Titel Research Seminar "Secure blockchains in network transition periods"
    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 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 Research visit to TU Graz
    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
  • 2024 Link
    Titel Presentation at the 20th ICT Security Conference (IKT-Sicherheitskonferenz 2024)
    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
  • 2025 Link
    Titel Research Seminar "Memory Band-Aid: A Principled Rowhammer Defense-in-Depth"
    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 Talk at Workshop on Cryptographic Tools for Blockchains
    Typ A talk or presentation
    Link Link
  • 2025 Link
    Titel Invited speaker at the DynAMiCs workshop
    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 Presentation at @AT:NOG 2025/1
    Typ A talk or presentation
    Link Link
  • 2025 Link
    Titel Panel discussion at the Digital Humanism Conference.
    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 "Securing Distributed Hash Tables using Proofs of Space"
    Typ A talk or presentation
    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 Research Seminar "String Solving via Extended Nielsen Rules"
    Typ A talk or presentation
    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
  • 2024 Link
    Titel Contributed talk at HYPER 2024
    Typ Participation in an activity, workshop or similar
    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
  • 2023 Link
    Titel Research Seminar "Information-Flow Interfaces"
    Typ A talk or presentation
    Link Link
  • 2024 Link
    Titel Panel discussion on AI & Security in University of Vienna
    Typ A talk or presentation
    Link Link
  • 2023 Link
    Titel Public Lecture "Sustainable Blockchains"
    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
  • 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 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 Research Seminar "Efficient Multi-tuple Leakage Detection Testing in Side-channel"
    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
  • 2025 Link
    Titel Workshop "Asynchronous Hyperproperties: from Theory to Practice"
    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 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
  • 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
  • 2024 Link
    Titel Research Seminar "Anthemius: Efficient & Modular Block Assembly for Concurrent Execution"
    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
  • 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
  • 2025 Link
    Titel Talk on "Artificial Intelligence in Research and Innovation" at ASSAI event
    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
  • 2025 Link
    Titel Interview for "Die Presse"
    Typ A magazine, newsletter or online publication
    Link Link
  • 2024 Link
    Titel Research Seminar "Trapdoor Memory-Hard Functions"
    Typ A talk or presentation
    Link Link
  • 2025 Link
    Titel Research Seminar "Committing Security of Encode-then-Encipher"
    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
  • 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 Research Seminar "Space-Deniable Proofs"
    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
  • 2025 Link
    Titel Research visit to University Vienna
    Typ A talk or presentation
    Link Link
  • 2025 Link
    Titel Research Seminar "ALASCA: Reasoning in Quantified Linear Arithmetic"
    Typ A talk or presentation
    Link Link
  • 2023 Link
    Titel Public Lecture "Sustainable Security"
    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 Invited speaker at the SERICS Summer School on Secure Software Development
    Typ A talk or presentation
    Link Link
  • 2024 Link
    Titel Research Seminar "Rational protocol design"
    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
  • 2023 Link
    Titel Interview for "Der Standard" (doIT)
    Typ A magazine, newsletter or online publication
    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 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
  • 2024 Link
    Titel Invited Talk at eduLab Bildungsfruhstuck: AI for Schools
    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
  • 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
  • 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 Invited speaker at the International Winter School on Microarchitectural Security (MIC-SEC 2025)
    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
  • 2024 Link
    Titel Keynote at FinTechWeek Vienna 2024
    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
  • 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 CASA Distinguished Lecture "Shedding Light on Data Collection and Security Issues in Modern Apps"
    Typ A talk or presentation
    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
  • 2024 Link
    Titel Research Seminar "Efficient and Secure Compression Functions for Arithmetization-Oriented Hashing"
    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
Wissenschaftliche Auszeichnungen
  • 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 Promotion Prize of the Province of Styria 2025
    Typ Research prize
    Bekanntheitsgrad Regional (any country)
  • 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 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 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 at TU Wien
    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 Grigory Fedyukovich (Florida State University)
    Typ Attracted visiting staff or user to your research group
    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)
  • 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 A lecture by Arnab Roy (University of Innsbruck)
    Typ Attracted visiting staff or user to your research group
    Bekanntheitsgrad National (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 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 Organizing Committee member of HYPER 2025
    Typ Prestigious/honorary/advisory position to an external body
    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 Associate Editor of Journal of Computer Security
    Typ Prestigious/honorary/advisory position to an external body
    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 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 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 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 Sharad Agarwal (University College London) at TU Wien
    Typ Attracted visiting staff or user to your research group
    Bekanntheitsgrad Continental/International
  • 2025
    Titel 2025 Research Promotion Award of the State of Styria
    Typ Research prize
    Bekanntheitsgrad Regional (any country)
  • 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 Diego Olivier Fernandez Pons (Microsoft) at TU Wien
    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 Bart Mennink (Radboud University Nijmegen) at TU Graz
    Typ Attracted visiting staff or user to your research group
    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 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 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 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 Keynote Speaker at "womENcourage™ 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 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 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 Sub-Auspiciis Doctorate
    Typ Honorary Degree
    Bekanntheitsgrad National (any country)
  • 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 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 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 Members at the Cryptographers' Track at RSA Conference
    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 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 Samuel Kopmann (Karlsruhe Institute of Technology) at TU Wien
    Typ Attracted visiting staff or user to your research group
    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 Program Committee Members at the 34th USENIX Security Symposium
    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
  • 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 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 Joel Reardon (University of Calgary)
    Typ Attracted visiting staff or user to your research group
    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 Research visit and a lecture by Byron Cook (UCL, Amazon)
    Typ Attracted visiting staff or user to your research group
    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 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 Conference on Intelligent Computer Mathematics (CICM) 2024
    Typ Prestigious/honorary/advisory position to an external body
    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 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 Foreign Member of Royal Society
    Typ Awarded honorary membership, or a fellowship, of a learned society
    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 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 Briefing at Blackhat USA 2024
    Typ Personally asked as a key note speaker to a conference
    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 Program Committee Members at the 33rd USENIX Security Symposium
    Typ Prestigious/honorary/advisory position to an external body
    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 Yuval Yarom (Ruhr University Bochum) at TU Graz
    Typ Attracted visiting staff or user to your research group
    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 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 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 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 Ben Stock (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 Christoph Kerschbaumer (Mozilla) at TU Wien
    Typ Attracted visiting staff or user to your research group
    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 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 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 Program Committee Member at Asiacrypt 2024, 2025
    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 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 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 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 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 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 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 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 Technical Speaker at hardwear.io Security Conference 2024
    Typ Personally asked as a key note speaker to a conference
    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 Adam O'Neill (University of Massachusetts)
    Typ Attracted visiting staff or user to your research group
    Bekanntheitsgrad Continental/International
  • 2024
    Titel Amazon Research Award
    Typ Research prize
    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 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 Program Committee Member at the Africacrypt Conference
    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 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 Senior Fellow of Applied Computer Security Associates (ACSA)
    Typ Awarded honorary membership, or a fellowship, of a learned society
    Bekanntheitsgrad Continental/International
  • 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 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
  • 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 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 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 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 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 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 Technical Speaker at hardwear.io Security Conference 2023
    Typ Personally asked as a key note speaker to a conference
    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 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 Chair of Informatik Austria
    Typ Prestigious/honorary/advisory position to an external body
    Bekanntheitsgrad National (any country)
  • 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 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 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 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 Most Influential DIMVA Paper 2014-2018 Award
    Typ Research prize
    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 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 Hedy Lamarr Prize
    Typ Research prize
    Bekanntheitsgrad National (any country)
  • 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 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 Program Committee Members at the 32nd USENIX Security Symposium
    Typ Prestigious/honorary/advisory position to an external body
    Bekanntheitsgrad Continental/International
  • 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 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 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 Frank Leymann (Universität Stuttgart)
    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 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 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 Yossi Oren ( Ben Gurion University of the Negev) at TU Graz
    Typ Attracted visiting staff or user to your research group
    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 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
Weitere Förderungen
  • 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
  • 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 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
  • 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
  • 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
  • 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
  • 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)
  • 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
  • 2025
    Titel Automated Reasoning - FWF Doctoral College Program doc.funds
    Typ Studentship
    DOI 10.55776/doc1345324
    Förderbeginn 2025
    Geldgeber Austrian Science Fund (FWF)

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