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