|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Alwen, Joël ; Fuchsbauer, Georg ; Mularczyk, Marta ; Riepel, Doreen | Lattice-Based Updatable KEM for Group Messaging | Inproceedings Konferenzbeitrag  | 13-Aug-2026 |
| 2 |  | Beer, Philipp ; Roth, Sebastian ; Lindorfer, Martina ; Squarcina, Marco | Plain Text, Plain Risks: Measuring HTTP Inclusion in Android WebViews at Scale | Inproceedings Konferenzbeitrag   | Aug-2026 |
| 3 | | Bocevska, Ivana ; Tsukada, Takeshi ; Unno, Hiroshi ; Padon, Oded ; Shoham, Sharon | Lagrangian-Based Duality for Quantified SMT Algorithms | Inproceedings Konferenzbeitrag | 24-Jul-2026 |
| 4 |  | Kovács, Laura | Saturation-Guided Inductive Synthesis | Inproceedings Konferenzbeitrag | 15-Jul-2026 |
| 5 |  | Weninger, Andreas ; Andreeva, Elena | PUE Schemes: Efficient Updatable Encryption With Robust Security From Symmetric Primitives | Inproceedings Konferenzbeitrag | 4-Jun-2026 |
| 6 | | Katz, Jonathan ; Sefranek, Marek | Issuer Hiding for BBS-Based Anonymous Credentials | Inproceedings Konferenzbeitrag | 21-May-2026 |
| 7 | | Fuchsbauer, Georg ; Sefranek, Marek | Plonk Without Random Oracles | Presentation Vortrag | 9-May-2026 |
| 8 | | Aumayr, Lukas ; Avarikioti, Zeta ; Salem, Iosif ; Schmid, Stefan ; Yeo, Michelle | X-Transfer: Enabling and Optimizing Cross-PCN Transactions | Inproceedings Konferenzbeitrag | 2-Feb-2026 |
| 9 | | Sefranek, Marek | Sparkle Revisited: Proving Tight Adaptive Security of a Simple Schnorr Threshold Scheme | Presentation Vortrag | 26-Jan-2026 |
| 10 | | Coutelier, Robin ; Hader, Thomas ; Kovacs, Laura | Generalizing CDCL with Graph Backtracking | Inproceedings Konferenzbeitrag | 2026 |
| 11 | | Avarikioti, Georgia ; Fuchsbauer, Georg ; Keer, Pim ; Maffei, Matteo ; Regen, Fabian | A Composable Game-Theoretic Framework for Blockchains | Inproceedings Konferenzbeitrag | 2026 |
| 12 | | Fuchsbauer, Georg ; Regen, Fabian ; Hoeteck, Wee | Round-Optimal Threshold Blind Signatures Without Random Oracles | Inproceedings Konferenzbeitrag | 2026 |
| 13 | | Bartocci, Ezio ; Chalupa, Marek ; Henzinger, Thomas A. ; Ničković, Dejan ; Oliveira Da Costa, Ana | Hypernode automata | Article Artikel | 9-Dec-2025 |
| 14 | | Scherer, Markus ; Blaabjerg, Jeppe Fredsgaard ; Sjösten, Alexander ; Maffei, Matteo | Wanilla: Sound Noninterference Analysis for WebAssembly | Inproceedings Konferenzbeitrag | 22-Nov-2025 |
| 15 |  | Bleier, Jakob ; Kehrer, Felix ; Cito, Jürgen ; Lindorfer, Martina | Profile Coverage: Using Android Compilation Profiles to Evaluate Dynamic Testing | Inproceedings Konferenzbeitrag | 19-Nov-2025 |
| 16 | | Rain, Sophie ; Petković Komel, Anja ; Rawson, Michael ; Kovacs, Laura | Game Modeling of Blockchain Protocols | Inproceedings Konferenzbeitrag | 15-Nov-2025 |
| 17 | | 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 |
| 18 | | Bartocci, Ezio ; Henzinger, Thomas A. ; Nickovic, Dejan ; Oliveira Da Costa, Ana | Information-Flow Interfaces and Security Lattices | Book Contribution Buchbeitrag | 1-Oct-2025 |
| 19 | | 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 |
| 20 | | 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 |
