|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Bocevska, Ivana ; Tsukada, Takeshi ; Unno, Hiroshi ; Padon, Oded ; Shoham, Sharon | Lagrangian-Based Duality for Quantified SMT Algorithms | Inproceedings Konferenzbeitrag  | 24-Jul-2026 |
| 2 | | Katz, Jonathan ; Sefranek, Marek | Issuer Hiding for BBS-Based Anonymous Credentials | Inproceedings Konferenzbeitrag | 21-May-2026 |
| 3 | | Fuchsbauer, Georg ; Sefranek, Marek | Plonk Without Random Oracles | Presentation Vortrag | 9-May-2026 |
| 4 | | Sefranek, Marek | Sparkle Revisited: Proving Tight Adaptive Security of a Simple Schnorr Threshold Scheme | Presentation Vortrag | 26-Jan-2026 |
| 5 | | Coutelier, Robin ; Hader, Thomas ; Kovacs, Laura | Generalizing CDCL with Graph Backtracking | Inproceedings Konferenzbeitrag | 2026 |
| 6 | | Bartocci, Ezio ; Chalupa, Marek ; Henzinger, Thomas A. ; Ničković, Dejan ; Oliveira Da Costa, Ana | Hypernode automata | Article Artikel | 9-Dec-2025 |
| 7 | | Scherer, Markus ; Blaabjerg, Jeppe Fredsgaard ; Sjösten, Alexander ; Maffei, Matteo | Wanilla: Sound Noninterference Analysis for WebAssembly | Inproceedings Konferenzbeitrag | 22-Nov-2025 |
| 8 |  | Bleier, Jakob ; Kehrer, Felix ; Cito, Jürgen ; Lindorfer, Martina | Profile Coverage: Using Android Compilation Profiles to Evaluate Dynamic Testing | Inproceedings Konferenzbeitrag   | 19-Nov-2025 |
| 9 | | Rain, Sophie ; Petković Komel, Anja ; Rawson, Michael ; Kovacs, Laura | Game Modeling of Blockchain Protocols | Inproceedings Konferenzbeitrag | 15-Nov-2025 |
| 10 | | Bhati, Amit Singh ; Andreeva, Elena ; Mueller, S. ; Vizár, Damian | Sonikku: Gotta Speed, Keed! A Family of Fast and Secure MACs | Inproceedings Konferenzbeitrag | 13-Nov-2025 |
| 11 | | Bartocci, Ezio ; Henzinger, Thomas A. ; Nickovic, Dejan ; Oliveira Da Costa, Ana | Information-Flow Interfaces and Security Lattices | Book Contribution Buchbeitrag | 1-Oct-2025 |
| 12 | | 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 |
| 13 | | 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 |
| 14 | | 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 |
| 15 | | 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 |
| 16 | | Bhati, Amit Singh ; Andreeva, Elena | Breaking the IEEE Encryption Standard XCB-AES in Two Queries | Inproceedings Konferenzbeitrag | 17-Aug-2025 |
| 17 | | 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 |
| 18 | | Benetollo, Lorenzo ; Lackner, Andreas ; Maffei, Matteo ; Scherer, Markus | Let's Move2EVM | Inproceedings Konferenzbeitrag | 13-Aug-2025 |
| 19 | | Hajdu, Marton ; Coutelier, Robin ; Kovacs, Laura ; Voronkov, Andrei | Term Ordering Diagrams | Inproceedings Konferenzbeitrag | 30-Jul-2025 |
| 20 | | 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 |
