|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Sefranek, Marek | Sparkle Revisited: Proving Tight Adaptive Security of a Simple Schnorr Threshold Scheme | Presentation Vortrag | 26-Jan-2026 |
| 2 | | Bartocci, Ezio ; Chalupa, Marek ; Henzinger, Thomas A. ; Ničković, Dejan ; Oliveira Da Costa, Ana | Hypernode automata | Article Artikel  | 9-Dec-2025 |
| 3 | | Scherer, Markus ; Blaabjerg, Jeppe Fredsgaard ; Sjösten, Alexander ; Maffei, Matteo | Wanilla: Sound Noninterference Analysis for WebAssembly | Inproceedings Konferenzbeitrag | 22-Nov-2025 |
| 4 |  | Bleier, Jakob ; Kehrer, Felix ; Cito, Jürgen ; Lindorfer, Martina | Profile Coverage: Using Android Compilation Profiles to Evaluate Dynamic Testing | Inproceedings Konferenzbeitrag   | 19-Nov-2025 |
| 5 | | Rain, Sophie ; Petković Komel, Anja ; Rawson, Michael ; Kovacs, Laura | Game Modeling of Blockchain Protocols | Inproceedings Konferenzbeitrag | 15-Nov-2025 |
| 6 | | Bhati, Amit Singh ; Andreeva, Elena ; Müller, Simon ; Vizár, Damian | Sonikku: Gotta Speed, Keed! A Family of Fast and Secure MACs | Inproceedings Konferenzbeitrag | 13-Nov-2025 |
| 7 | | Bartocci, Ezio ; Henzinger, Thomas A. ; Nickovic, Dejan ; Oliveira Da Costa, Ana | Information-Flow Interfaces and Security Lattices | Book Contribution Buchbeitrag | 1-Oct-2025 |
| 8 | | Bocevska, Ivana ; Petković Komel, Anja ; Kovacs, Laura ; Rain, Sophie ; Rawson, Michael | Divide and Conquer: A Compositional Approach to Game-Theoretic Security | Article Artikel | Oct-2025 |
| 9 | | Bártek, Filip ; Bhayat, Ahmed ; Coutelier, Robin ; Hajdu, Márton ; Hetzenberger, Matthias ; Hozzová, Petra ; Kovács, Laura ; Rath, Jakob ; Rawson, Michael ; Reger, Giles ; Suda, Martin ; Schoisswohl, Johannes ; Voronkov, Andrei | The Vampire Diary | Inproceedings Konferenzbeitrag | 24-Sep-2025 |
| 10 | | Andreeva, Elena ; Bhati, Amit Singh ; Weninger, Andreas | Multiforked Iterated Even-Mansour and a Note on the Tightness of IEM Proofs | Preprint Preprint | 1-Sep-2025 |
| 11 | | Steinböck, Magdalena ; Troost, Jens ; van Beijnum, Wilco ; Jan Seredynski ; Bos, Herbert ; Lindorfer, Martina ; Continella, Andrea | SoK: Hardening Techniques in the Mobile Ecosystem — Are We There Yet? | Inproceedings Konferenzbeitrag | 26-Aug-2025 |
| 12 | | Cho, Gavin ; Fuchsbauer, Georg ; O’Neill, Adam ; Sefranek, Marek | Schnorr Signatures are Tightly Secure in the ROM Under a Non-interactive Assumption | Inproceedings Konferenzbeitrag | 17-Aug-2025 |
| 13 | | Bhati, Amit Singh ; Andreeva, Elena | Breaking the IEEE Encryption Standard XCB-AES in Two Queries | Inproceedings Konferenzbeitrag | 17-Aug-2025 |
| 14 | | Benetollo, Lorenzo ; Lackner, Andreas ; Maffei, Matteo ; Scherer, Markus | Let's Move2EVM | Inproceedings Konferenzbeitrag | 13-Aug-2025 |
| 15 | | Hajdu, Marton ; Coutelier, Robin ; Kovacs, Laura ; Voronkov, Andrei | Term Ordering Diagrams | Inproceedings Konferenzbeitrag | 30-Jul-2025 |
| 16 | | Schmidt, David ; Ponticello, Alexander ; Steinböck, Magdalena ; Krombholz, Katharina ; Lindorfer, Martina | Analyzing the iOS Local Network Permission from a Technical and User Perspective | Inproceedings Konferenzbeitrag | 16-Jun-2025 |
| 17 |  | Aumayr, Lukas ; Ceylan, Esra ; Kopyciok, Yannik ; Maffei, Matteo ; Moreno-Sanchez, Pedro ; Salem, Iosif ; Schmid, Stefan | Optimizing virtual payment channel establishment in the face of on-path adversaries | Article Artikel | 1-Jun-2025 |
| 18 | | Rath, Jakob ; Eisenhofer, Clemens ; Kaufmann, Daniela ; Bjørner, Nikolaj ; Kovacs, Laura | PolySAT: Word-level Bit-vector Reasoning in Z3 | Inproceedings Konferenzbeitrag | 3-May-2025 |
| 19 | | Sefranek, Marek | Hash functions in the context of PIOP-based SNARKs | Presentation Vortrag | 27-Jan-2025 |
| 20 | | Scaffino, Giulia ; Aumayr, Lukas ; Bastankhah, Mahsa ; Avarikioti, Zeta ; Maffei, Matteo | Alba: The Dawn of Scalable Bridges for Blockchains | Inproceedings Konferenzbeitrag | Jan-2025 |
