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