|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Aumayr, Lukas ; Avarikioti, Zeta ; Maffei, Matteo ; Scaffino, Giulia ; Zindros, Dionysis | Blink: An Optimal Proof of Proof-of-Work | Inproceedings Konferenzbeitrag  | 2-Jan-2026 |
| 2 |  | 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 |
| 3 | | Scherer, Markus ; Blaabjerg, Jeppe Fredsgaard ; Sjösten, Alexander ; Maffei, Matteo | Wanilla: Sound Noninterference Analysis for WebAssembly | Inproceedings Konferenzbeitrag | 22-Nov-2025 |
| 4 | | Benetollo, Lorenzo ; Lackner, Andreas ; Maffei, Matteo ; Scherer, Markus | Let's Move2EVM | Inproceedings Konferenzbeitrag | 13-Aug-2025 |
| 5 |  | 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 |
| 6 |  | Scaffino, Giulia ; Aumayr, Lukas ; Bastankhah, Mahsa ; Avarikioti, Zeta ; Maffei, Matteo | Alba: The Dawn of Scalable Bridges for Blockchains | Inproceedings Konferenzbeitrag | 2025 |
| 7 |  | Aumayr, Lukas ; Avarikioti, Zeta ; Maffei, Matteo ; Mazumdar, Subhra | Securing Lightning Channels against Rational Miners | Inproceedings Konferenzbeitrag | 9-Dec-2024 |
| 8 | | Jeanteur, Simon ; Kovács, Laura ; Maffei, Matteo ; Rawson, Michael | CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model | Inproceedings Konferenzbeitrag | 2024 |
| 9 | | Scherer, Markus ; Blaabjerg, Jeppe Fredsgaard ; Sjösten, Alexander ; Solitro, Magdalena Maria ; Maffei, Matteo | Wappler: Sound Reachability Analysis for WebAssembly | Inproceedings Konferenzbeitrag | 2024 |
| 10 | | 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 | Inproceedings Konferenzbeitrag | 2024 |
| 11 |  | Sober, Michael ; Scaffino, Giulia ; Schulte, Stefan ; Kanhere, Salil S. | A blockchain-based IoT data marketplace | Article Artikel | Dec-2023 |
| 12 |  | Chatterjee, Diptendu ; Banerjee, Prabal ; Mazumdar, Subhra | Chrisimos: A useful Proof-of-Work for finding Minimal Dominating Set of a graph | Preprint Preprint | 13-Sep-2023 |
| 13 | | Aumayr, Lukas ; Moreno-Sanchez, Pedro ; Kate, Aniket ; Maffei, Matteo | Breaking and Fixing Virtual Channels: Domino Attack and Donner | Presentation Vortrag | 6-Sep-2023 |
| 14 | | Aumayr, Lukas ; Abbaszadeh, Kasra ; Maffei, Matteo | Thora: Atomic and Privacy-Preserving Multi-Channel Updates | Presentation Vortrag | 30-Aug-2023 |
| 15 | | Aumayr, Lukas ; Sri AravindaKrishnan Thyagarajan ; Giulio Malavolta ; Moreno-Sanchez, Pedro ; Maffei, Matteo | Sleepy Channels: Bitcoin-Compatible Bi-directional Payment Channels without Watchtowers | Presentation Vortrag | 30-Aug-2023 |
| 16 | | Scaffino, Giulia ; Aumayr, Lukas ; Avarikioti, Georgia ; Maffei, Matteo | Glimpse: On-Demand PoW Light Client with Constant-Size Storage for DeFi | Inproceedings Konferenzbeitrag | 9-Aug-2023 |
| 17 | | Karagiannis, Vasileios ; Frangoudis, Pantelis ; Dustdar, Schahram ; Schulte, Stefan | Context-Aware Routing in Fog Computing Systems | Article Artikel | 8-Mar-2023 |
| 18 | | Aumayr, Lukas ; Abbaszadeh, Kasra ; Maffei, Matteo | Thora: Atomic and Privacy-Preserving Multi-Channel Updates | Presentation Vortrag | 28-Feb-2023 |
| 19 | | Aumayr, Lukas ; Sri AravindaKrishnan Thyagarajan ; Giulio Malavolta ; Moreno-Sanchez, Pedro ; Maffei, Matteo | Sleepy Channels: Bi-directional Payment Channels without Watchtowers | Presentation Vortrag | 28-Feb-2023 |
| 20 | | Aumayr, Lukas ; Moreno-Sanchez, Pedro ; Kate, Aniket ; Maffei, Matteo | Breaking and Fixing Virtual Channels: Domino Attack and Donner | Inproceedings Konferenzbeitrag | 27-Feb-2023 |
