SPyCODE
Wissenschaftsdisziplinen
Informatik (100%)
Keywords
- Blockchain,
- Game Theory,
- Modeling
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.
-
Konsortiumsmitglied (01.01.2023 -)
-
Konsortiumsmitglied (01.01.2023 -)
-
Konsortiumsmitglied (01.01.2023 -)
-
Konsortiumsmitglied (01.01.2023 -)
-
Konsortiumsmitglied (01.01.2023 -)
-
Johanna Ullrich, IT U Interdisciplinary Transformation University AustriaKonsortiumsmitglied (01.01.2023 -)
-
Konsortiumsmitglied (01.01.2023 -)
-
Konsortiumsmitglied (01.01.2023 -)
-
Konsortiumsmitglied (01.01.2023 -)
-
Konsortiumsmitglied (01.01.2023 -)
-
Koordinator:in (01.01.2023 -)
-
Konsortiumsmitglied (01.01.2023 -)
-
Konsortiumsmitglied (01.01.2023 -)
-
Konsortiumsmitglied (01.01.2023 -)
- 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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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