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