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
- 107 Publications
- 2 Policies
- 2 Artistic Creations
- 8 Methods & Materials
- 3 Datasets & models
- 10 Software
- 88 Disseminations
- 131 Scientific Awards
- 20 Fundings
-
2025
Title An Analysis of HMB-based SSD Rowhammer DOI 10.46586/uasc.2025.003 Type Journal Article Author Juffinger J Journal Proceedings of the Microarchitecture Security Conference -
2025
Title AutoDiVer: Automatically Verifying Differential Characteristics and Learning Key Conditions DOI 10.46586/tosc.v2025.i1.471-514 Type Journal Article Author Ghosh S Journal IACR Transactions on Symmetric Cryptology -
2025
Title Remote Scheduler Contention Attacks; In: Financial Cryptography and Data Security - 28th International Conference, FC 2024, Willemstad, Curaçao, March 4-8, 2024, Revised Selected Papers, Part I DOI 10.1007/978-3-031-78676-1_21 Type Book Chapter Publisher Springer Nature Switzerland -
2025
Title Monitoring Extended Hypernode Logic; In: Integrated Formal Methods - 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings DOI 10.1007/978-3-031-76554-4_9 Type Book Chapter Publisher Springer Nature Switzerland -
2025
Title PolySAT: Word-level Bit-vector Reasoning inZ3; In: Verified Software. Theories, Tools and Experiments - 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers DOI 10.1007/978-3-031-86695-1_4 Type Book Chapter Publisher Springer Nature Switzerland -
2025
Title Breaking theIEEE Encryption Standard XCB-AES inTwo Queries; In: Advances in Cryptology - CRYPTO 2025 - 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part V DOI 10.1007/978-3-032-01901-1_6 Type Book Chapter Publisher Springer Nature Switzerland -
2025
Title Not So Secure TSC; In: Applied Cryptography and Network Security - 23rd International Conference, ACNS 2025, Munich, Germany, June 23-26, 2025, Proceedings, Part II DOI 10.1007/978-3-031-95764-2_1 Type Book Chapter Publisher Springer Nature Switzerland -
2025
Title The HMB Timing Side Channel: Exploiting theSSD's Host Memory Buffer; In: Detection of Intrusions and Malware, and Vulnerability Assessment - 22nd International Conference, DIMVA 2025, Graz, Austria, July 9-11, 2025, Proceedings, Part I DOI 10.1007/978-3-031-97620-9_10 Type Book Chapter Publisher Springer Nature Switzerland -
2025
Title Cohere+Reload: Re-enabling High-Resolution Cache Attacks onAMD SEV-SNP; In: Detection of Intrusions and Malware, and Vulnerability Assessment - 22nd International Conference, DIMVA 2025, Graz, Austria, July 9-11, 2025, Proceedings, Part I DOI 10.1007/978-3-031-97620-9_11 Type Book Chapter Publisher Springer Nature Switzerland -
2025
Title The Vampire Diary; In: Computer Aided Verification - 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III DOI 10.1007/978-3-031-98682-6_4 Type Book Chapter Publisher Springer Nature Switzerland -
2025
Title Fast and Efficient Secure L1 Caches for SMT; In: Availability, Reliability and Security - 20th International Conference, ARES 2025, Ghent, Belgium, August 11-14, 2025, Proceedings, Part II DOI 10.1007/978-3-032-00627-1_6 Type Book Chapter Publisher Springer Nature Switzerland -
2025
Title Schnorr Signatures are Tightly Secure intheROM Under aNon-interactive Assumption; In: Advances in Cryptology - CRYPTO 2025 - 45th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2025, Proceedings, Part VI DOI 10.1007/978-3-032-01887-8_8 Type Book Chapter Publisher Springer Nature Switzerland -
2025
Title Gray-box runtime enforcement of hyperproperties DOI 10.1007/s00236-025-00502-1 Type Journal Article Author Hsu T Journal Acta Informatica -
2025
Title Optimizing virtual payment channel establishment in the face of on-path adversaries DOI 10.1016/j.comcom.2025.108155 Type Journal Article Author Aumayr L Journal Computer Communications -
2025
Title Real-World Study of the Security of Educational Test Systems DOI 10.1109/eurospw67616.2025.00074 Type Conference Proceeding Abstract Author Felix S Pages 588-599 -
2025
Title SoK: Hardening Techniques in the Mobile Ecosystem - Are We There Yet? DOI 10.1109/eurosp63326.2025.00050 Type Conference Proceeding Abstract Author Steinböck M Pages 789-806 -
2025
Title Hypernode automata DOI 10.1007/s00236-025-00509-8 Type Journal Article Author Bartocci E Journal Acta Informatica -
2025
Title TEEcorrelate: an information-preserving defense against performance-counter attacks on TEEs Type Conference Proceeding Abstract Author Rauscher F. Conference SEC '25: 34th USENIX Conference on Security Symposium Link Publication -
2025
Title When good kernel defenses go bad: reliable and stable kernel exploits via defense-amplified TLB side-channel leaks Type Conference Proceeding Abstract Author Giner L Conference SEC '25: 34th USENIX Conference on Security Symposium Link Publication -
2025
Title Let's Move2EVM Type Conference Proceeding Abstract Author Benetollo L. Conference SEC '25: 34th USENIX Conference on Security Symposium Link Publication -
2025
Title Nakamoto Consensus from Multiple Resources Type Conference Proceeding Abstract Author Baig M. A. Conference 7th Conference on Advances in Financial Technologies (AFT 2025) Pages 16:1-16:23 Link Publication -
2025
Title On Loopy Belief Propagation for SASCAs An Analysis and Empirical Study of the Inference Problem DOI 10.62056/ayl8ksdja Type Journal Article Author Cassiers G Journal IACR Communications in Cryptology -
2025
Title Alba: The Dawn of Scalable Bridges for Blockchains DOI 10.14722/ndss.2025.241286 Type Conference Proceeding Abstract Author Aumayr L -
2025
Title CounterSEVeillance: Performance-Counter Attacks on AMD SEV-SNP DOI 10.14722/ndss.2025.241038 Type Conference Proceeding Abstract Author Gast S -
2025
Title KernelSnitch: Side Channel-Attacks on Kernel Data Structures DOI 10.14722/ndss.2025.240223 Type Conference Proceeding Abstract Author Juffinger J -
2025
Title Secret Spilling Drive: Leaking User Behavior through SSD Contention DOI 10.14722/ndss.2025.230208 Type Conference Proceeding Abstract Author Juffinger J -
2025
Title On Security Proofs ofExisting Equivalence Class Signature Schemes; In: Advances in Cryptology - ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9-13, 2024, Proceedings, Part II DOI 10.1007/978-981-96-0888-1_1 Type Book Chapter Publisher Springer Nature Singapore -
2025
Title Privacy-Preserving Runtime Verification DOI 10.1145/3719027.3765137 Type Conference Proceeding Abstract Author Henzinger T Pages 2774-2787 -
2025
Title Wanilla: Sound Noninterference Analysis for WebAssembly DOI 10.1145/3719027.3765156 Type Conference Proceeding Abstract Author Blaabjerg J Pages 126-140 -
2025
Title TDXploit: novel techniques for single-stepping and cache attacks on intel TDX Type Conference Proceeding Abstract Author Rauscher F. Conference 34th USENIX Conference on Security Symposium Pages 1207 - 1222 Link Publication -
2025
Title Divide and Conquer: A Compositional Approach to Game-Theoretic Security DOI 10.1145/3763120 Type Journal Article Author Bocevska I Journal Proceedings of the ACM on Programming Languages -
2024
Title Optimizing Virtual Payment Channel Establishment in the Face of On-Path Adversaries DOI 10.23919/ifipnetworking62109.2024.10619889 Type Conference Proceeding Abstract Author Aumayr L Pages 1-10 -
2024
Title CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model DOI 10.1109/sp54263.2024.00246 Type Conference Proceeding Abstract Author Jeanteur S Pages 3165-3183 -
2024
Title Wappler: Sound Reachability Analysis for WebAssembly DOI 10.1109/csf61375.2024.00025 Type Conference Proceeding Abstract Author Blaabjerg J Pages 249-264 -
2024
Title On Efficient and Secure Compression Functions for Arithmetization-Oriented Hashing DOI 10.1109/csf61375.2024.00045 Type Conference Proceeding Abstract Author Andreeva E Pages 1-16 -
2024
Title Security Aspects of Masking on FPGAs DOI 10.1109/host55342.2024.10545383 Type Conference Proceeding Abstract Author Gigerl B Pages 199-210 -
2026
Title Efficient SPA Countermeasures Using Redundant Number Representation withApplication toML-KEM; In: Selected Areas in Cryptography - SAC 2025 - 32nd International Conference, Toronto, ON, Canada, August 13-15, 2025, Revised Selected Papers DOI 10.1007/978-3-032-10536-3_28 Type Book Chapter Publisher Springer Nature Switzerland -
2026
Title X-Transfer: Enabling andOptimizing Cross-PCN Transactions; In: Financial Cryptography and Data Security - 29th International Conference, FC 2025, Miyakojima, Japan, April 14-18, 2025, Revised Selected Papers, Part I DOI 10.1007/978-3-032-07024-1_5 Type Book Chapter Publisher Springer Nature Switzerland -
2026
Title Anthemius: Efficient andModular Block Assembly forConcurrent Execution; In: Financial Cryptography and Data Security - 29th International Conference, FC 2025, Miyakojima, Japan, April 14-18, 2025, Revised Selected Papers, Part I DOI 10.1007/978-3-032-07024-1_18 Type Book Chapter Publisher Springer Nature Switzerland -
2026
Title Blink: An Optimal Proof ofProof-of-Work; In: Financial Cryptography and Data Security - 29th International Conference, FC 2025, Miyakojima, Japan, April 14-18, 2025, Revised Selected Papers, Part II DOI 10.1007/978-3-032-07035-7_11 Type Book Chapter Publisher Springer Nature Switzerland -
2026
Title Monitoring Hypernode Logic Over Infinite Domains; In: Runtime Verification - 25th International Conference, RV 2025, Graz, Austria, September 15-19, 2025, Proceedings DOI 10.1007/978-3-032-05435-7_23 Type Book Chapter Publisher Springer Nature Switzerland -
2026
Title Parameterized Infinite-State Reactive Synthesis DOI 10.1145/3776726 Type Journal Article Author Bloem R Journal Proceedings of the ACM on Programming Languages -
2026
Title On the(in)security ofProofs-of-Space Based Longest-Chain Blockchains; In: Financial Cryptography and Data Security - 29th International Conference, FC 2025, Miyakojima, Japan, April 14-18, 2025, Revised Selected Papers, Part II DOI 10.1007/978-3-032-07035-7_8 Type Book Chapter Publisher Springer Nature Switzerland -
2026
Title Zero-Click SnailLoad: From Minimal toNo User Interaction; In: Computer Security - ESORICS 2025 - 30th European Symposium on Research in Computer Security, Toulouse, France, September 22-24, 2025, Proceedings, Part IV DOI 10.1007/978-3-032-07901-5_6 Type Book Chapter Publisher Springer Nature Switzerland -
2026
Title Space-Deniable Proofs; In: Theory of Cryptography - 23rd International Conference, TCC 2025, Aarhus, Denmark, December 1-5, 2025, Proceedings, Part IV DOI 10.1007/978-3-032-12290-2_6 Type Book Chapter Publisher Springer Nature Switzerland -
2026
Title Constrained Verifiable Random Functions Without Obfuscation andFriends; In: Theory of Cryptography - 23rd International Conference, TCC 2025, Aarhus, Denmark, December 1-5, 2025, Proceedings, Part IV DOI 10.1007/978-3-032-12290-2_16 Type Book Chapter Publisher Springer Nature Switzerland -
2026
Title Sonikku: Gotta Speed, Keed! A Family ofFast andSecure MACs; In: Cryptology and Network Security - 24th International Conference, CANS 2025, Osaka, Japan, November 17-20, 2025, Proceedings DOI 10.1007/978-981-95-4434-9_6 Type Book Chapter Publisher Springer Nature Singapore -
2026
Title Multiforked Iterated Even-Mansour andaNote ontheTightness ofIEM Proofs; In: Selected Areas in Cryptography - SAC 2025 - 32nd International Conference, Toronto, ON, Canada, August 13-15, 2025, Revised Selected Papers DOI 10.1007/978-3-032-10536-3_7 Type Book Chapter Publisher Springer Nature Switzerland -
2025
Title Analyzing the iOS Local Network Permission from a Technical and User Perspective Type Conference Proceeding Abstract Author Ponticello A. Conference IEEE Symposium on Security and Privacy (S&P) Link Publication -
2025
Title Information-flow interfaces. DOI 10.1007/s10703-024-00447-0 Type Journal Article Author Bartocci E Journal Formal methods in system design Pages 3-48 -
2023
Title Hypernode Automata Type Conference Proceeding Abstract Author Bartocci E. Conference 34th International Conference on Concurrency Theory (CONCUR 2023) Link Publication -
2023
Title Refining Unification with Abstraction. Type Conference Proceeding Abstract Author Bhayat A. Conference 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning Link Publication -
2023
Title SMT Solving over Finite Field Arithmetic. Type Conference Proceeding Abstract Author Hader T. Conference 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning Link Publication -
2023
Title Embedding the Connection Calculus in Satisfiability Modulo Theories Type Conference Proceeding Abstract Author Eisenhofer C. Conference 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023) affiliated with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2023) Link Publication -
2024
Title Skye: An Expanding PRF based Fast KDF and its Applications DOI 10.1145/3634737.3637673 Type Conference Proceeding Abstract Author Bhati A Pages 1082-1098 -
2024
Title Securing Lightning Channels against Rational Miners DOI 10.1145/3658644.3670373 Type Conference Proceeding Abstract Author Aumayr L Pages 393-407 -
2024
Title Destination Reachable: What ICMPv6 Error Messages Reveal About Their Sources DOI 10.1145/3646547.3688420 Type Conference Proceeding Abstract Author Holzbauer F Pages 280-294 -
2024
Title OAE-RUP: A Strong Online AEAD Security Notion andIts Application toSAEF; In: Security and Cryptography for Networks - 14th International Conference, SCN 2024, Amalfi, Italy, September 11-13, 2024, Proceedings, Part II DOI 10.1007/978-3-031-71073-5_6 Type Book Chapter Publisher Springer Nature Switzerland -
2024
Title Leakage Certification Made Simple; In: Advances in Cryptology - CRYPTO 2024 - 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part VI DOI 10.1007/978-3-031-68391-6_13 Type Book Chapter Publisher Springer Nature Switzerland -
2024
Title Revisiting Differential-Linear Attacks viaaBoomerang Perspective with Application toAES, Ascon, CLEFIA, SKINNY, PRESENT, KNOT, TWINE, WARP, LBlock, Simeck, andSERPENT; In: Advances in Cryptology - CRYPTO 2024 - 44th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2024, Proceedings, Part IV DOI 10.1007/978-3-031-68385-5_2 Type Book Chapter Publisher Springer Nature Switzerland -
2024
Title Reducibility Constraints inSuperposition; In: Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I DOI 10.1007/978-3-031-63498-7_8 Type Book Chapter Publisher Springer Nature Switzerland -
2024
Title Verifying Global Two-Safety Properties inNeural Networks withConfidence; In: Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II DOI 10.1007/978-3-031-65630-9_17 Type Book Chapter Publisher Springer Nature Switzerland -
2024
Title Automated Sensitivity Analysis forProbabilistic Loops; In: Integrated Formal Methods - 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings DOI 10.1007/978-3-031-47705-8_2 Type Book Chapter Publisher Springer Nature Switzerland -
2024
Title Proof ofAvailability andRetrieval inaModular Blockchain Architecture; In: Financial Cryptography and Data Security - 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part II DOI 10.1007/978-3-031-47751-5_3 Type Book Chapter Publisher Springer Nature Switzerland -
2024
Title Executing andProving OverDirty Ledgers; In: Financial Cryptography and Data Security - 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part I DOI 10.1007/978-3-031-47754-6_1 Type Book Chapter Publisher Springer Nature Switzerland -
2024
Title Induction inSaturation; In: Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I DOI 10.1007/978-3-031-63498-7_2 Type Book Chapter Publisher Springer Nature Switzerland -
2024
Title Synthesis ofRecursive Programs inSaturation; In: Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I DOI 10.1007/978-3-031-63498-7_10 Type Book Chapter Publisher Springer Nature Switzerland -
2024
Title Presshammer: Rowhammer andRowpress Without Physical Address Information; In: Detection of Intrusions and Malware, and Vulnerability Assessment - 21st International Conference, DIMVA 2024, Lausanne, Switzerland, July 17-19, 2024, Proceedings DOI 10.1007/978-3-031-64171-8_24 Type Book Chapter Publisher Springer Nature Switzerland -
2024
Title Masked Iterate-Fork-Iterate: A New Design Paradigm forTweakable Expanding Pseudorandom Function; In: Applied Cryptography and Network Security - 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part II DOI 10.1007/978-3-031-54773-7_17 Type Book Chapter Publisher Springer Nature Switzerland -
2024
Title Updatable Public-Key Encryption, Revisited; In: Advances in Cryptology - EUROCRYPT 2024 - 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part VII DOI 10.1007/978-3-031-58754-2_13 Type Book Chapter Publisher Springer Nature Switzerland -
2024
Title Trapdoor Memory-Hard Functions; In: Advances in Cryptology - EUROCRYPT 2024 - 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zurich, Switzerland, May 26-30, 2024, Proceedings, Part III DOI 10.1007/978-3-031-58734-4_11 Type Book Chapter Publisher Springer Nature Switzerland -
2024
Title On Proving Equivalence Class Signatures Secure fromNon-interactive Assumptions; In: Public-Key Cryptography - PKC 2024 - 27th IACR International Conference on Practice and Theory of Public-Key Cryptography, Sydney, NSW, Australia, April 15-17, 2024, Proceedings, Part I DOI 10.1007/978-3-031-57718-5_1 Type Book Chapter Publisher Springer Nature Switzerland -
2024
Title Deniability in Automated Contact Tracing: Impossibilities and Possibilities DOI 10.56553/popets-2024-0134 Type Journal Article Author Günther C Journal Proceedings on Privacy Enhancing Technologies -
2024
Title IdleLeak: Exploiting Idle State Side Effects for Information Leakage DOI 10.14722/ndss.2024.24078 Type Conference Proceeding Abstract Author Kogler A -
2024
Title SLUBStick: Arbitrary Memory Writes through Practical Software Cross-Cache Attacks within the Linux Kernel Type Conference Proceeding Abstract Author Gast S Conference 33rd USENIX Security Symposium Pages 4051 - 4068 Link Publication -
2024
Title SnailLoad: exploiting remote network latency measurements without JavaScript Type Conference Proceeding Abstract Author Czerny R Conference 33rd USENIX Conference on Security Symposium Pages 2315 - 2332 Link Publication -
2024
Title Divide and surrender: exploiting variable division instruction timing in HQC key recovery attacks Type Conference Proceeding Abstract Author Gast S Conference 33rd USENIX Conference on Security Symposium Pages 6669 - 6686 Link Publication -
2024
Title Comparing Apples to Androids: Discovery, Retrieval, and Matching of iOS and Android Apps for Cross-Platform Analyses Type Conference Proceeding Abstract Author Bleier J Conference 2024 IEEE/ACM 21st International Conference on Mining Software Repositories (MSR) Pages 348-360 Link Publication -
2024
Title Lazy Reimplication in Chronological Backtracking. Type Conference Proceeding Abstract Author Coutelier R. Conference 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024). Link Publication -
2024
Title VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic. Type Conference Proceeding Abstract Author Kovács L. Conference 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning Link Publication -
2024
Title Scaling CheckMate for Game-Theoretic Security. Type Conference Proceeding Abstract Author Brugger L. S. Conference 25th Conference on Logic for Pro gramming, Artificial Intelligence and Reasoning Link Publication -
2024
Title Saturating Sorting without Sorts. Type Conference Proceeding Abstract Author Georgiou P. Conference 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning Link Publication -
2024
Title Rewriting and Inductive Reasoning. Type Conference Proceeding Abstract Author Hajdu M. Conference 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning. Link Publication -
2023
Title Glimpse: On-Demand {PoW} Light Client with Constant-Size Storage for {DeFi} Type Conference Proceeding Abstract Author Aumayr L Conference 32nd USENIX Security Symposium Link Publication -
2023
Title Collide+Power: leaking inaccessible data with software-based power side channels Type Conference Proceeding Abstract Author Juffinger J Conference 32nd USENIX Conference on Security Symposium Pages 7285 - 7302 Link Publication -
2023
Title Non-Classical Logics inSatisfiability Modulo Theories; In: Automated Reasoning with Analytic Tableaux and Related Methods - 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings DOI 10.1007/978-3-031-43513-3_2 Type Book Chapter Publisher Springer Nature Switzerland -
2023
Title Reshaping Unplugged Computer Science Workshops forPrimary School Education; In: Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education - 16th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2023, Lausanne, Switzerland, October 23-25, 2023, Proceedings DOI 10.1007/978-3-031-44900-0_11 Type Book Chapter Publisher Springer Nature Switzerland -
2023
Title Superposition withDelayed Unification; In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings DOI 10.1007/978-3-031-38499-8_2 Type Book Chapter Publisher Springer Nature Switzerland -
2023
Title SAT-Based Subsumption Resolution; In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings DOI 10.1007/978-3-031-38499-8_11 Type Book Chapter Publisher Springer Nature Switzerland -
2024
Title Bribe & Fork: Cheap PCN Bribing Attacks via Forking Threat Type Conference Proceeding Abstract Author Avarikioti Z Conference Advances in Financial Technologies (AFT) Pages 11:1--11:22 Link Publication -
2024
Title Musketeer: Incentive-Compatible Rebalancing for Payment Channel Networks Type Conference Proceeding Abstract Author Avarikioti Z. Conference 6th Conference on Advances in Financial Technologies (AFT 2024) Pages 13:1--13:22 Link Publication -
2024
Title SUIT: Secure Undervolting with Instruction Traps DOI 10.1145/3620665.3640373 Type Conference Proceeding Abstract Author Juffinger J Pages 1128-1145 -
2024
Title Compress: Generate Small and Fast Masked Pipelined Circuits DOI 10.46586/tches.v2024.i3.500-529 Type Journal Article Author Cassiers G Journal IACR Transactions on Cryptographic Hardware and Embedded Systems -
2024
Title Finding Complete Impossible Differential Attacks on AndRX Ciphers and Efficient Distinguishers for ARX Designs DOI 10.46586/tosc.v2024.i3.84-176 Type Journal Article Author Chakraborty D Journal IACR Transactions on Symmetric Cryptology -
2024
Title Improved Search for Integral, Impossible Differential and Zero-Correlation Attacks Application to Ascon, ForkSKINNY, SKINNY, MANTIS, PRESENT and QARMAv2 DOI 10.46586/tosc.v2024.i1.234-325 Type Journal Article Author Gerhalter S Journal IACR Transactions on Symmetric Cryptology -
2024
Title Cryptanalysis of QARMAv2 DOI 10.46586/tosc.v2024.i1.188-213 Type Journal Article Author Hadipour H Journal IACR Transactions on Symmetric Cryptology -
2024
Title Closing the Gap: Leakage Contracts for Processors with Transitions and Glitches DOI 10.46586/tches.v2024.i4.110-132 Type Journal Article Author Hadži´C V Journal IACR Transactions on Cryptographic Hardware and Embedded Systems -
2024
Title SAT solving for variants of first-order subsumption DOI 10.1007/s10703-024-00454-1 Type Journal Article Author Coutelier R Journal Formal Methods in System Design -
2023
Title Smooth Passage with the Guards: Second-Order Hardware Masking of the AES with Low Randomness and Low Latency DOI 10.46586/tches.v2024.i1.309-335 Type Journal Article Author Gigerl B Journal IACR Transactions on Cryptographic Hardware and Embedded Systems -
2023
Title ALASCA: Reasoning in Quantified Linear Arithmetic; In: Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I DOI 10.1007/978-3-031-30823-9_33 Type Book Chapter Publisher Springer Nature Switzerland -
2023
Title Finding theImpossible: Automated Search forFull Impossible-Differential, Zero-Correlation, andIntegral Attacks; In: Advances in Cryptology - EUROCRYPT 2023 - 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part IV DOI 10.1007/978-3-031-30634-1_5 Type Book Chapter Publisher Springer Nature Switzerland -
2023
Title CSI:Rowhammer - Cryptographic Security and Integrity against Rowhammer DOI 10.1109/sp46215.2023.10179390 Type Conference Proceeding Abstract Author Juffinger J Pages 1702-1718 -
2023
Title CheckMate: Automated Game-Theoretic Security Reasoning DOI 10.1145/3576915.3623183 Type Conference Proceeding Abstract Author Brugger L Pages 1407-1421 -
2023
Title Let's Go Eevee! A Friendly and Suitable Family of AEAD Modes for IoT-to-Cloud Secure Computation DOI 10.1145/3576915.3623091 Type Conference Proceeding Abstract Author Bhati A Pages 2546-2560 -
2023
Title Cryptographically Enforced Memory Safety DOI 10.1145/3576915.3623138 Type Conference Proceeding Abstract Author Schrammel D Pages 889-903 -
2023
Title Secure Context Switching of Masked Software Implementations DOI 10.1145/3579856.3595798 Type Conference Proceeding Abstract Author Gigerl B Pages 980-992 -
2023
Title Satisfiability Modulo Custom Theories inZ3; In: Verification, Model Checking, and Abstract Interpretation - 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings DOI 10.1007/978-3-031-24950-1_5 Type Book Chapter Publisher Springer Nature Switzerland
-
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 Virtual Integer-Real Arithmetic Substitution (Viras) DOI 10.29007/kg4v Type Improvements to research infrastructure Public Access Link Link -
2024
Title CheckMate DOI 10.29007/llnq Type Improvements to research infrastructure Public Access -
2024
Link
Title Skye Type Improvements to research infrastructure Public Access Link Link -
2024
Title CryptoVampire DOI 10.1109/sp54263.2024.00246 Type Improvements to research infrastructure Public Access -
2024
Link
Title Leakage Certification Methods Type Improvements to research infrastructure Public Access Link Link -
2023
Title ALASCA DOI 10.1007/978-3-031-30823-9_33 Type Improvements to research infrastructure Public Access
-
2025
Title Wanilla: Sound Noninterference Analysis for WebAssembly (artifacts) DOI 10.48436/hc4rp-xp328 Type Database/Collection of data Public Access -
2024
Link
Title Dataset of 3,322 cross-platform iOS/Android apps and methodology to collect them Type Database/Collection of data Public Access Link Link -
2024
Link
Title Side-channel analysis on masked-AES implementation on ARM M3 DOI 10.5281/zenodo.11396347 Type Database/Collection of data Public Access Link Link
-
2025
Link
Title Alba Link Link -
2025
Link
Title Vampire DOI 10.1007/978-3-031-98682-6_4 Link Link -
2025
Link
Title Proof-of-Concept of the ALBA Smart Contract DOI 10.5281/zenodo.14249987 Link Link -
2024
Link
Title SUIT - Secure Undervolting with Instruction Traps Link Link -
2024
Link
Title CheckMate DOI 10.29007/llnq Link Link -
2024
Link
Title CryptoVampire Link Link -
2024
Link
Title IPv6 Measurement Tool DOI 10.1145/3646547.3688420 Link Link -
2024
Link
Title SLUBStick Link Link -
2023
Link
Title Cost evaluation for Glimpse Link Link -
2023
Link
Title Glimpse Link Link
-
2024
Link
Title Briefing at Blackhat USA 2024 - SnailLoad presentation Type A talk or presentation Link Link -
2025
Link
Title Dagstuhl Seminar 24351 on Power, Energy, and Carbon-Aware Computing on Heterogeneous Systems (PEACHES) Type Participation in an activity, workshop or similar Link Link -
2024
Link
Title Invited Talk at eduLab Bildungsfruhstuck: AI for Schools Type A talk or presentation Link Link -
2025
Link
Title Panel discussion at the Kickoff of the AI & Security Competence Forum Type A formal working group, expert panel or dialogue Link Link -
2025
Link
Title Research Seminar "SnailLoad: Exploiting Remote Network Latency Measurements without JavaScript" Type A talk or presentation Link Link -
2024
Link
Title Research Seminar "Rational protocol design" Type A talk or presentation Link Link -
2023
Link
Title Invited talk and mentoring at EPFL School of Computer and Communication Sciences Summer Research Institute 2023 on Systems, Security, and Privacy Type A talk or presentation Link Link -
2023
Link
Title Interview for "Der Standard" (doIT) Type A magazine, newsletter or online publication Link Link -
2024
Link
Title Poster Session at Network Traffic Measurement and Analysis Conference (TMA) 2024 Type A talk or presentation Link Link -
2025
Link
Title Public Lecture "Space-efficient blockchains" Type A talk or presentation Link Link -
2025
Link
Title SPyCoDe Retreat 2025 Type Participation in an activity, workshop or similar Link Link -
2025
Link
Title Symposium "Radical Software: Women, Art & Computing 1960-1991". Female Mentoring Session Type Participation in an activity, workshop or similar Link Link -
2024
Link
Title CASA Distinguished Lecture "Shedding Light on Data Collection and Security Issues in Modern Apps" Type A talk or presentation Link Link -
2025
Link
Title Discussion "Digital Defense: How Does the Net Stay Secure?" at KURIER-TV's "Spontan gefragt" Type A broadcast e.g. TV/radio/film/podcast (other than news/press) Link Link -
2024
Link
Title Keynote at FinTechWeek Vienna 2024 Type A talk or presentation Link Link -
2023
Link
Title Research Seminar "Verification of Game-Theoretic Security Properties for Blockchain Protocols" Type A talk or presentation Link Link -
2024
Link
Title Interview for Der Standard "Chat control is a security risk for all of Europe" Type A press release, press conference or response to a media enquiry/interview Link Link -
2024
Link
Title Research Seminar "Comparing Apples to Androids: Discovery, Retrieval, and Matching of iOS and Android Apps for Cross-Platform Analyses" Type A talk or presentation Link Link -
2024
Link
Title Retreat at the Institute of Science and Technology Austria (ISTA) Type Participation in an activity, workshop or similar Link Link -
2025
Link
Title Female Mentoring Session at Summer School on Artificial Intelligence and Cybersecurity Type Participation in an activity, workshop or similar Link Link -
2024
Link
Title Research Seminar "Efficient and Secure Compression Functions for Arithmetization-Oriented Hashing" Type A talk or presentation Link Link -
2025
Link
Title Invited speaker at the International Winter School on Microarchitectural Security (MIC-SEC 2025) Type A talk or presentation Link Link -
2025
Link
Title Radio interviews for Ö1: "Workout im Metaversum" Type A broadcast e.g. TV/radio/film/podcast (other than news/press) Link Link -
2023
Link
Title Talk "Watching the Watchmen - Shedding Light on Data Collection in Mobile Apps" at Austrian Computer Science Day Type A talk or presentation Link Link -
2024
Link
Title Interview for Wiener Zeitung "How evil is Google really?" Type A press release, press conference or response to a media enquiry/interview Link Link -
2025
Link
Title Invited speaker at the 1st Workshop on Generic Attacks and Proofs in Symmetric Cryptography (GASP 2025) Type A talk or presentation Link Link -
2024
Link
Title Article in Der Standard "Dancing the Algorithm: How to Teach Children Computer Science" Type A press release, press conference or response to a media enquiry/interview Link Link -
2024
Link
Title A talk at "Digitale Kompetenzen - Algorithmen, KI & Ethik" Type A talk or presentation Link Link -
2025
Link
Title Research visit to TU Graz Type A talk or presentation Link Link -
2023
Link
Title Research Seminar "A Forkcipher-based Pseudo-Random Number Generator" Type A talk or presentation Link Link -
2025
Link
Title Research Seminar "Side-channel countermeasures for Post-quantum cryptography" Type A talk or presentation Link Link -
2023
Link
Title Research Seminar "SMT or a Shelter for Theory and Logics" Type A talk or presentation Link Link -
2025
Link
Title Talk at Workshop on Cryptographic Tools for Blockchains Type A talk or presentation Link Link -
2025
Link
Title Research Seminar "Memory Band-Aid: A Principled Rowhammer Defense-in-Depth" Type A talk or presentation Link Link -
2024
Link
Title Research Seminar "Secure blockchains in network transition periods" Type A talk or presentation Link Link -
2024
Link
Title Research Seminar "Secure and Verifiable Implementations of off-chains Protocols" Type A talk or presentation Link Link -
2025
Link
Title Invited speaker at the DynAMiCs workshop Type A talk or presentation Link Link -
2024
Link
Title Research Seminar "Secure implementation of the masking countermeasure on different platforms" Type A talk or presentation Link Link -
2025
Link
Title Research Seminar "Securing Distributed Hash Tables using Proofs of Space" Type A talk or presentation Link Link -
2024
Link
Title Research Seminar "Provable Side-Channel Resilience in Hardware and Software" Type A talk or presentation Link Link -
2023
Link
Title Interview for Ö1 "Security from Surveillance - Security through Surveillance?" Type A press release, press conference or response to a media enquiry/interview Link Link -
2024
Link
Title Panel discussion "@Risk: Sind unsere Daten sicher?" Type A talk or presentation Link Link -
2025
Link
Title Research Seminar "String Solving via Extended Nielsen Rules" Type A talk or presentation Link Link -
2025
Link
Title Lecture at the Cluster of Excellence CASA "Automated Tools for Symmetric-Key Cryptanalysis" Type A talk or presentation Link Link -
2024
Link
Title Panel discussion on AI & Security in University of Vienna Type A talk or presentation Link Link -
2024
Link
Title Contributed talk at HYPER 2024 Type Participation in an activity, workshop or similar Link Link -
2024
Link
Title Presentation at the 20th ICT Security Conference (IKT-Sicherheitskonferenz 2024) Type A talk or presentation Link Link -
2025
Link
Title Research Seminar "Towards a Composable Game-Theoretic Framework for Blockchains" Type A talk or presentation Link Link -
2025
Link
Title Research Seminar "Network-level vulnerabilities in cryptocurrencies" Type A talk or presentation Link Link -
2025
Link
Title Research Seminar "Attacking and Securing Leaky Systems at the Hardware-Software Boundary" Type A talk or presentation Link Link -
2023
Link
Title Summer School - Graz Security Week Type Participation in an activity, workshop or similar Link Link -
2023
Link
Title Public Lecture "Sustainable Blockchains" Type A talk or presentation Link Link -
2025
Link
Title Presentation at @AT:NOG 2025/1 Type A talk or presentation Link Link -
2023
Link
Title Research Seminar "PYTHIA: Supercharging Parallel Smart Contract Execution with the help of Optimistic Predictions" Type A talk or presentation Link Link -
2023
Link
Title Research Seminar "Computationally Sound Cryptographic Protocol Automated Verification" Type A talk or presentation Link Link -
2023
Link
Title Research Seminar "Efficient Multi-tuple Leakage Detection Testing in Side-channel" Type A talk or presentation Link Link -
2025
Link
Title Workshop "Asynchronous Hyperproperties: from Theory to Practice" Type Participation in an activity, workshop or similar Link Link -
2024
Link
Title Research Seminar "CPU Undervolting: Exploits and Potentials" Type A talk or presentation Link Link -
2023
Link
Title Talk "Security - Can we afford to have it? Can we afford not to have it?" at Austrian Computer Science Day Type A talk or presentation Link Link -
2025
Link
Title Panel discussion at the Digital Humanism Conference. Type A talk or presentation Link Link -
2024
Link
Title Research Seminar "Anthemius: Efficient & Modular Block Assembly for Concurrent Execution" Type A talk or presentation Link Link -
2024
Link
Title Female Mentoring Session by Prof. Ruzica Piskac (Yale University) Type Participation in an activity, workshop or similar Link Link -
2024
Link
Title Research Seminar "VIRAS: A Conflict-Driven Decision Procedure for mixed Integer-Real Arithmetic" Type A talk or presentation Link Link -
2024
Link
Title Research Seminar "Computationally Sound Automated Protocol Verification" Type A talk or presentation Link Link -
2025
Link
Title Research Seminar "Cryptanalysis of New Low-Latency Cipher Designs" Type Participation in an activity, workshop or similar Link Link -
2023
Link
Title Research Seminar "Software-based Microarchitectural CPU Attacks" Type A talk or presentation Link Link -
2025
Link
Title Radio interviews for Ö1: "Datenschleuder Fitness-App" Type A broadcast e.g. TV/radio/film/podcast (other than news/press) Link Link -
2023
Link
Title Contributed talk at HYPER 2023 Type Participation in an activity, workshop or similar Link Link -
2024
Link
Title Invited talk in the seminar series "Women in Logic Online" Type A talk or presentation Link Link -
2025
Link
Title Research visit to University Vienna Type A talk or presentation Link Link -
2023
Link
Title Public Lecture "Sustainable Security" Type A talk or presentation Link Link -
2025
Link
Title Research Seminar "ALASCA: Reasoning in Quantified Linear Arithmetic" Type A talk or presentation Link Link -
2025
Link
Title Invited speaker at the SERICS Summer School on Secure Software Development Type A talk or presentation Link Link -
2024
Link
Title Episode of the InTechnology podcast "What That Means," titled "Why We Will Never Get Rid of Side Channels" Type A broadcast e.g. TV/radio/film/podcast (other than news/press) Link Link -
2023
Link
Title Research Seminar "Information-Flow Interfaces" Type A talk or presentation Link Link -
2023
Link
Title Moderated talk at Vienna Humanities Festival "Why Data Protection Is Important and How It Succeeds" Type A talk or presentation Link Link -
2025
Link
Title Guest commentary for Der Standard "Computer Science is General Education and Should Become a Mandatory Subject" Type A press release, press conference or response to a media enquiry/interview Link Link -
2025
Link
Title Engagement Activities at the BeSt Fair Type Participation in an activity, workshop or similar Link Link -
2024
Link
Title Research Seminar "Cryptanalysis using Constraint Programming" Type A talk or presentation Link Link -
2025
Link
Title Talk on "Artificial Intelligence in Research and Innovation" at ASSAI event Type A talk or presentation Link Link -
2025
Link
Title Colloquium Talk at the IITB Trust Lab (Indian Institute of Technology Bombay) Type A talk or presentation Link Link -
2025
Link
Title Interview for "Die Presse" Type A magazine, newsletter or online publication Link Link -
2024
Link
Title Research Seminar "Trapdoor Memory-Hard Functions" Type A talk or presentation Link Link -
2025
Link
Title Research Seminar "Committing Security of Encode-then-Encipher" Type A talk or presentation Link Link -
2025
Link
Title Panel Participation at the OCG Symposium "Computer Science in Education: By Humans, for Humans" Type A formal working group, expert panel or dialogue Link Link -
2023
Link
Title SFB SPyCoDe Kick-off event Type Participation in an activity, workshop or similar Link Link -
2024
Title Radio interview for Ö1 Matrix: Sicherheitsrisiken von Menstruations-Trackern Type A press release, press conference or response to a media enquiry/interview -
2025
Link
Title Research Seminar "Space-Deniable Proofs" Type A talk or presentation Link Link
-
2025
Title Sub-Auspiciis Doctorate Type Honorary Degree Level of Recognition National (any country) -
2025
Title Research visit and a lecture by Diego Olivier Fernandez Pons (Microsoft) at TU Wien Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2025
Title Research visit and a lecture by Johannes Buchmann (Center for Advanced Security Research Darmstadt) Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2025
Title Members of the Steering Committee for the Austrian Computer Science Day 2025 Type Prestigious/honorary/advisory position to an external body Level of Recognition National (any country) -
2025
Title Program Committee Members at the ACM Conference on Computer and Communications Security (CCS) 2025 Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2025
Title Research visit and a lecture by Bart Mennink (Radboud University Nijmegen) at TU Graz Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2025
Title Area Chair of the 37th International Conference on Computer Aided Verification (CAV) Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2025
Title PC member of International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2025 Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2025
Title Research visit and a lecture by Jonathan Katz (Google) Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2025
Title Research visit and a lecture by Ghassan Karame (Ruhr-University Bochum) Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2025
Title Keynote at the 37th International Conference on Computer Aided Verification (CAV 2025) Type Personally asked as a key note speaker to a conference Level of Recognition Continental/International -
2025
Title Research visit and a lecture by Arkady Yerukhimovich (George Washington University) at TU Wien Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2025
Title Research visit and a lecture by Mugdha Khedkar (Paderborn University, Germany) at TU Wien Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2025
Title Member of the Editorial Board IACR Transactions on Symmetric Cryptology (ToSC), 2025-2026. Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2025
Title Program Committee Member at the 29th International Conference Financial Cryptography and Data Security (FC'25) Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2025
Title Local Chair at the 25th International Conference on Runtime Verification Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2025
Title Research visit and a lecture by Geoff Sutcliffe (University of Miami) Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2025
Title Research visit and a lecture by Pierluigi Nuzzo Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2025
Title Keynote at the IT Security Conference in Bochum RuhrSec 2025 Type Personally asked as a key note speaker to a conference Level of Recognition Continental/International -
2025
Title Program Committee Chair and Steering Committee Member at the 7th international conference on Advances in Financial Technologies (AFT'25) Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2025
Title Program Committee Members at the Cryptographers' Track at RSA Conference Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2025
Title A lecture by Arnab Roy (University of Innsbruck) Type Attracted visiting staff or user to your research group Level of Recognition National (any country) -
2025
Title General chair and a member of the Steering committee of the 22nd Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA '25) Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2025
Title Research visit and a lecture by Sharad Agarwal (University College London) at TU Wien Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2025
Title PC members of 22nd Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA '25) Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2025
Title Promotion Prize of the Province of Styria 2025 Type Research prize Level of Recognition Regional (any country) -
2025
Title Research visit and a lecture by Christoph Kerschbaumer (Mozilla) at TU Graz Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2025
Title Keynote Speaker at "womENcourage™ 2025" Type Personally asked as a key note speaker to a conference Level of Recognition Continental/International -
2025
Title Research visit and a lecture by Gianluca Stringhini (Boston University) at TU Wien Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2025
Title President and Chair of the Steering Committee of the European Joint Conferences on Theory and Practice of Software (ETAPS) Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2025
Title Program Committee Member at the 23rd International Conference on Applied Cryptography and Network Security (ACNS 2025) Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2025
Title Research visit and a lecture by Samuel Kopmann (Karlsruhe Institute of Technology) at TU Wien Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2025
Title The Workshop Chair for the 2025 Internet Measurement Conference (IMC) Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2025
Title Organizing Committee member of HYPER 2025 Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2025
Title Invited Speaker at 4th Workshop on Hyperproperties: Advances in Theory and Applications Type Personally asked as a key note speaker to a conference Level of Recognition Continental/International -
2025
Title Program Committee Members at the 37th International Conference on Computer Aided Verification (CAV) Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2025
Title Research visit and a lecture by Pierluigi Nuzzo at TU Wien Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2025
Title 2025 Research Promotion Award of the State of Styria Type Research prize Level of Recognition Regional (any country) -
2025
Title Program Committee Members at the 34th USENIX Security Symposium Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2025
Title Research visit and a lecture by Erwin Quiring (Ruhr-University Bochum) Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2025
Title Editorial Board Member of The IACR Communications in Cryptology (CiC) journal Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2025
Title Keynote at the 6th ACNS-SCI workshop Type Personally asked as a key note speaker to a conference Level of Recognition Continental/International -
2025
Title Keynote Speaker at the 25th International Conference on Runtime Verification Type Personally asked as a key note speaker to a conference Level of Recognition Continental/International -
2025
Title Associate Editor of Journal of Computer Security Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2025
Title Research visit and a lecture by Ruzica Piskac (Yale University) at TU Graz Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2025
Title Research visit and a lecture by Grigory Fedyukovich (Florida State University) Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2025
Title Panel "Cybersecurity in New Times" at the Digital Humanism Conference Type Personally asked as a key note speaker to a conference Level of Recognition National (any country) -
2025
Title Invited speaker at the NCC-AT Community Event 2025 Type Personally asked as a key note speaker to a conference Level of Recognition National (any country) -
2024
Title Research visit and a lecture by Reiner Hähnle (TU Darmstadt) Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2024
Title Best Paper Award at the Conference on Cryptographic Hardware and Embedded Systems (CHES) Type Poster/abstract prize DOI 10.46586/tches.v2024.i4.110-132 Level of Recognition Continental/International -
2024
Title Organizing Committee Chair, Program Committee Co-chair for International Conference On Reachability Problems (RP) 2024 Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2024
Title Foreign Member of Royal Society Type Awarded honorary membership, or a fellowship, of a learned society Level of Recognition Continental/International -
2024
Title Program Committee Member at the Formal Methods in Computer-Aided Design Conference (FMCAD) 2023-2025 Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2024
Title Invited lecture by Caroline Trippel (Stanford University) Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2024
Title Research visit and a lecture by Yuval Yarom (Ruhr University Bochum) at TU Graz Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2024
Title Research visit and a lecture by Nikolaj Bjorner (Microsoft Research) Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2024
Title General Chair of the 9th IEEE European Symposium on Security and Privacy Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2024
Title Program Committee Members at the 33rd USENIX Security Symposium Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2024
Title Lecturer at Marktoberdorf Summer School 2024 Type Personally asked as a key note speaker to a conference Level of Recognition Continental/International -
2024
Title Program Committee Member at the International conference on Advances in Financial Technologies (AFT) Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2024
Title Keynote speaker at the 44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE) Type Personally asked as a key note speaker to a conference Level of Recognition Continental/International -
2024
Title Steering Committee Member at Network Traffic Measurement and Analysis (TMA) Conference 2024 Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2024
Title Research visit and a lecture by Christoph Kerschbaumer (Mozilla) at TU Wien Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2024
Title Invited speaker at International Joint Conference on Automated Reasoning (IJCAR) 2024 Type Personally asked as a key note speaker to a conference Level of Recognition Continental/International -
2024
Title Invited Talk at the ELLIIT Annual Workshop of the Excellence Center at Linköping - Lund in Information Type Personally asked as a key note speaker to a conference Level of Recognition National (any country) -
2024
Title Member of the Steering committee of the 21st Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA '24) Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2024
Title Editorial Board Member of The IACR Communications in Cryptology (CiC) journal Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2024
Title PC Co-Chair for Conference on Intelligent Computer Mathematics (CICM) 2024 Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2024
Title Briefing at Blackhat USA 2024 Type Personally asked as a key note speaker to a conference Level of Recognition Continental/International -
2024
Title Program Committee Member at Asiacrypt 2024, 2025 Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2024
Title Technical Speaker at hardwear.io Security Conference 2024 Type Personally asked as a key note speaker to a conference Level of Recognition Continental/International -
2024
Title Program Committee Members at the Cryptographic Hardware and Embedded Systems (CHES) conference Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2024
Title Organizing Committee Member for International Conference On Reachability Problems (RP) 2024 Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2024
Title Program Committee Member at the Network and Distributed System Security Symposium (NDSS) 2024 Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2024
Title Co-chair of International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2024 Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2024
Title Invited Talk at Formal Methods Symposium (FROM) 2024 Type Personally asked as a key note speaker to a conference Level of Recognition National (any country) -
2024
Title Research visit and a lecture by Ruzica Piskac (Yale University) Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2024
Title Invited talk at Dagstuhl Seminar 24111 "Logics for Dependence and Independence: Expressivity and Complexity" Type Personally asked as a key note speaker to a conference Level of Recognition Continental/International -
2024
Title Research visit and a lecture by Sven Bugiel (CISPA Helmholtz Center for Information Security) Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2024
Title Invited talk at the maprg Working Group at IETF Meeting 121 Type Personally asked as a key note speaker to a conference Level of Recognition Continental/International -
2024
Title Research visit and a lecture by Joel Reardon (University of Calgary) Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2024
Title PC Co-Chair for the 19th International Conference on Integrated Formal Methods (iFM) Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2024
Title Research visit and a lecture by Nikos Vasilakis (Brown University) Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2024
Title Program Committee Member at the 18th International Conference on Provable and Practical Security (ProvSec 2024) Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2024
Title Research visit and a lecture by Andrea Basso (University of Bristol) at TU Graz Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2024
Title Senior Fellow of Applied Computer Security Associates (ACSA) Type Awarded honorary membership, or a fellowship, of a learned society Level of Recognition Continental/International -
2024
Title Research visit and a lecture by Thomas Schneider (Technical University of Darmstadt) at TU Graz Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2024
Title Program Committee Member at the Africacrypt Conference Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2024
Title Research visit and a lecture by Ben Stock (CISPA Helmholtz Center for Information Security) Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2024
Title Research visit and a lecture by Giancarlo Guizzardi (University of Twente) Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2024
Title Research visit and a lecture by Konrad Rieck (TU Berlin) Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2024
Title Let's Empower Austria - LEA Role Model Type Awarded honorary membership, or a fellowship, of a learned society Level of Recognition National (any country) -
2024
Title Program Committee Members at the ACM Conference on Computer and Communications Security (CCS) 2024 Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2024
Title Amazon Research Award Type Research prize Level of Recognition Continental/International -
2024
Title Invited Talk at the Colloquium on Principles of Verification: Cycling the Probabilistic Landscape Type Personally asked as a key note speaker to a conference Level of Recognition Continental/International -
2024
Title Best Paper Award at the EEE International Symposium on Hardware Oriented Security and Trust (HOST) 2024 Type Poster/abstract prize DOI 10.1109/host55342.2024.10545383 Level of Recognition Continental/International -
2024
Title Research visit and a lecture by Adam O'Neill (University of Massachusetts) Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2024
Title Research visit and a lecture by Byron Cook (UCL, Amazon) Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2023
Title Invited Speaker at the European joint conferences on theory and practice of software (ETAPS) 2023 Type Personally asked as a key note speaker to a conference Level of Recognition Continental/International -
2023
Title Research visit and a lecture by Alessandro Abate (University of Oxford) Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2023
Title Research visit and a lecture by Kenneth Paterson (ETH Zurich) Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2023
Title PC member of 20th Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA '23) Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2023
Title Research visit and a lecture by Chrysoula Stathakopoulou (Chainlink Labs) Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2023
Title Program Committee Member at the 43rd International Cryptology Conference (Crypto 2023) Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2023
Title Research visit and a lecture by Michele Orrù (Sorbonne Université) Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2023
Title 2023 Area Committee Member of The Computing Research and Education Association of Australasia (CORE Inc.) Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2023
Title Research visit and a lecture by Konrad Rieck (TU Berlin) Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2023
Title Program Committee Member at the ACM Conference on Computer and Communications Security (CCS) 2023 Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2023
Title Keynote speacker at Individualized Cybersecurity Research Mentoring (iMentor) Workshop 2023 Type Personally asked as a key note speaker to a conference Level of Recognition Continental/International -
2023
Title Research visit and a lecture by Jean-Max Dutertre (École des Mines de Saint-Étienne) at TU Graz Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2023
Title Most Influential DIMVA Paper 2014-2018 Award Type Research prize Level of Recognition Continental/International -
2023
Title Invited talk and panel discussion on network-based attacks in the energy sector at International Digital Security Forum Type Personally asked as a key note speaker to a conference Level of Recognition National (any country) -
2023
Title N²Women: Rising Stars in Computer Networking and Communications Type Awarded honorary membership, or a fellowship, of a learned society Level of Recognition Continental/International -
2023
Title Research visit and a lecture by Frank Leymann (Universität Stuttgart) Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2023
Title Technical Speaker at hardwear.io Security Conference 2023 Type Personally asked as a key note speaker to a conference Level of Recognition Continental/International -
2023
Title Program Committee Memeber at the Annual Computer Security Applications Conference (ACSAC) Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2023
Title Program Committee Members at the 32nd USENIX Security Symposium Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2023
Title Full members of Wolfgang Pauli Institute (WPI) Vienna Type Prestigious/honorary/advisory position to an external body Level of Recognition National (any country) -
2023
Title Research visit and a lecture by Christian Cachin (ETH Zurich University of Bern) Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2023
Title Research visit and a lecture by Christof Ferreira Torres (ETH Zurich) Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2023
Title Research visit and a lecture by Yossi Oren ( Ben Gurion University of the Negev) at TU Graz Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2023
Title Research visit and a lecture by Mathieu Jan (CEA LIST) at TU Graz Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2023
Title Research visit and a lecture by Mooly Sagiv (Tel Aviv University) Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2023
Title Chair of the Steering Committee of the IEEE Computer Security Foundations Symposium Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2023
Title Research visit and a lecture by Katharina Krombholz (CISPA Helmholtz Center for Information Security) Type Attracted visiting staff or user to your research group Level of Recognition Continental/International -
2023
Title Keynote lecture at the Conference on Neurosymbolic Systems (NEUS) Type Personally asked as a key note speaker to a conference Level of Recognition Continental/International -
2023
Title Hedy Lamarr Prize Type Research prize Level of Recognition National (any country) -
2023
Title Member of IFIP WG 1.7 (Theoretical Foundations of Security Analysis and Design) Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2023
Title Program Committee Chair at the Annual Computer Security Applications Conference (ACSAC) Type Prestigious/honorary/advisory position to an external body Level of Recognition Continental/International -
2023
Title Chair of Informatik Austria Type Prestigious/honorary/advisory position to an external body Level of Recognition National (any country) -
2023
Title Research visit and a lecture by Marco Mellia (Politecnico di Torino) Type Attracted visiting staff or user to your research group Level of Recognition Continental/International
-
2025
Title ERC Starting Grant "Keyless cryptography for enhanced security" Type Research grant (including intramural programme) DOI 10.3030/101165216 Start of Funding 2025 Funder European Research Council (ERC) -
2023
Title Fixing the Broken Bridge Between Mobile Apps and the Web Type Research grant (including intramural programme) Start of Funding 2023 Funder Vienna Science and Technology Fund -
2024
Title TestCat - Automated Testbeds for the Evaluation of Intrusion Detection Capabilities Type Research grant (including intramural programme) Start of Funding 2024 Funder Austrian Research Promotion Agency -
2023
Title LEA - Let's Empower Austria Grant "Abenteuer Informatik fur Volksschulen" Type Research grant (including intramural programme) Start of Funding 2023 Funder Let's Empower Austria -
2025
Title Space data for Improved Electric Energy Consumption and Generation Modeling (space4energy) Type Research grant (including intramural programme) Start of Funding 2025 Funder Austrian Research Promotion Agency -
2025
Title ERC Advanced Grant "Formal Methods for Secure Blockchain-Oriented Programming (BlockSec)" Type Research grant (including intramural programme) DOI 10.3030/101141432 Start of Funding 2025 Funder European Research Council (ERC) -
2025
Title Risc-V Generation of high performance automative processors and computing platforms (Rigoletto) - Horizon Europe Global Challenges and European Industrial Competitiveness Type Research grant (including intramural programme) DOI 10.3030/101194371 Start of Funding 2025 Funder European Commission -
2023
Title ForSmart: Effective Formal Methods for Smart-Contract Certification Type Research grant (including intramural programme) Start of Funding 2023 Funder Vienna Science and Technology Fund -
2025
Title Enabling Secure RISC-V Architectures Through Efficient Software Integrity and Isolation Technologies (RESIST) - Bridge Program Type Research grant (including intramural programme) Start of Funding 2025 Funder Austrian Research Promotion Agency -
2023
Title Development and Analysis of QARMA V2 Type Research grant (including intramural programme) Start of Funding 2023 Funder Arm Limited -
2025
Title ERC Proof of Concept "LEARN: Learning Efficient Automated Reasoning on the Net" Type Research grant (including intramural programme) Start of Funding 2025 Funder European Research Council (ERC) -
2024
Title LEA - Let's Empower Austria Grant "Abenteuer Informatik" Type Research grant (including intramural programme) Start of Funding 2024 Funder Let's Empower Austria -
2024
Title Amazon Research Award 2023 Type Research grant (including intramural programme) Start of Funding 2024 Funder Amazon.com -
2025
Title SBA-K1 NGC - SBA-K1 NEXT GENERATION CYBERSECURITY (COMET CENTRE K1) Type Research grant (including intramural programme) Start of Funding 2025 Funder Austrian Research Promotion Agency -
2023
Title ERC Starting Grant "Foundations for Sustainable Security (FSSec)" Type Research grant (including intramural programme) DOI 10.3030/101076409 Start of Funding 2023 Funder European Research Council (ERC) -
2024
Title Quantum-Safe Critical Infrastructure for Austria (Q-Crit Austria) Type Research grant (including intramural programme) Start of Funding 2024 Funder Austrian Research Promotion Agency -
2023
Title Funding of the TUW Cybersecurity Center Type Research grant (including intramural programme) Start of Funding 2023 Funder Vienna University of Technology -
2023
Title SCALE2: SeCure, privAte, and interoperabLe layEr 2 Type Research grant (including intramural programme) Start of Funding 2023 Funder Vienna Science and Technology Fund -
2023
Title Sustainable Security through Principled Use of Security and Cryptography Type Research grant (including intramural programme) Start of Funding 2023 Funder Intel Corporation -
2025
Title Automated Reasoning - FWF Doctoral College Program doc.funds Type Studentship DOI 10.55776/doc1345324 Start of Funding 2025 Funder Austrian Science Fund (FWF)