|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 |  | 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 |
| 2 | | Scaffino, Giulia ; Aumayr, Lukas ; Bastankhah, Mahsa ; Avarikioti, Zeta ; Maffei, Matteo | Alba: The Dawn of Scalable Bridges for Blockchains | Inproceedings Konferenzbeitrag | Jan-2025 |
| 3 |  | Aumayr, Lukas ; Avarikioti, Zeta ; Maffei, Matteo ; Mazumdar, Subhra | Securing Lightning Channels against Rational Miners | Inproceedings Konferenzbeitrag | 9-Dec-2024 |
| 4 | | Jeanteur, Simon ; Kovács, Laura ; Maffei, Matteo ; Rawson, Michael | CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model | Inproceedings Konferenzbeitrag | 2024 |
| 5 | | Bernardo, Pedro ; Veronese, Lorenzo ; DALLA VALLE, VALENTINO ; Calzavara, Stefano ; Squarcina, Marco ; Adão, Pedro ; Maffei, Matteo | Web Platform Threats: Automated Detection of Web Security Issues With WPT | Inproceedings Konferenzbeitrag | 2024 |
| 6 | | Scherer, Markus ; Blaabjerg, Jeppe Fredsgaard ; Sjösten, Alexander ; Solitro, Magdalena Maria ; Maffei, Matteo | Wappler: Sound Reachability Analysis for WebAssembly | Inproceedings Konferenzbeitrag | 2024 |
| 7 | | Beer, Philipp ; Squarcina, Marco ; Veronese, Lorenzo ; Lindorfer, Martina | Tabbed Out: Subverting the Android Custom Tab Security Model | Inproceedings Konferenzbeitrag | 2024 |
| 8 | | Athavale, Anagha ; Bartocci, Ezio ; Christakis, Maria ; Maffei, Matteo ; Ničković, Dejan ; Weissenbacher, Georg | Verifying Global Two-Safety Properties in Neural Networks with Confidence | Inproceedings Konferenzbeitrag | 2024 |
| 9 | | 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 |
| 10 |  | Squarcina, Marco ; Adão, Pedro ; Lorenzo Veronese ; Matteo Maffei | Cookie Crumbles: Breaking and Fixing Web Session Integrity | Inproceedings Konferenzbeitrag | 26-Oct-2023 |
| 11 |  | 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 |
| 12 | | Aumayr, Lukas ; Moreno-Sanchez, Pedro ; Kate, Aniket ; Maffei, Matteo | Breaking and Fixing Virtual Channels: Domino Attack and Donner | Presentation Vortrag | 6-Sep-2023 |
| 13 | | Aumayr, Lukas ; Abbaszadeh, Kasra ; Maffei, Matteo | Thora: Atomic and Privacy-Preserving Multi-Channel Updates | Presentation Vortrag | 30-Aug-2023 |
| 14 | | 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 |
| 15 | | 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 |
| 16 | | Aumayr, Lukas ; Abbaszadeh, Kasra ; Maffei, Matteo | Thora: Atomic and Privacy-Preserving Multi-Channel Updates | Presentation Vortrag | 28-Feb-2023 |
| 17 | | 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 |
| 18 | | Aumayr, Lukas ; Moreno-Sanchez, Pedro ; Kate, Aniket ; Maffei, Matteo | Breaking and Fixing Virtual Channels: Domino Attack and Donner | Inproceedings Konferenzbeitrag | 27-Feb-2023 |
| 19 | | Rain, Sophie ; Avarikioti, Georgia ; Kovacs, Laura ; Maffei, Matteo | Towards a Game-Theoretic Security Analysis of Off-Chain Protocols | Inproceedings Konferenzbeitrag | 2023 |
| 20 | | Veronese, Lorenzo ; Farinier, Benjamin ; Bernardo, Pedro ; Tempesta, Mauro ; Squarcina, Marco ; Maffei, Matteo | WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms | Inproceedings Konferenzbeitrag | 2023 |
