Matteo Maffei
Technische Universität Wien
H-index: 37
Europe-Austria
Top articles of Matteo Maffei
Wappler: Sound Reachability Analysis for WebAssembly
2024/4/9
Alexander Sjösten
H-Index: 3
Matteo Maffei
H-Index: 20
Alba: The Dawn of Scalable Bridges for Blockchains
Cryptology ePrint Archive
2024
Lukas Aumayr
H-Index: 3
Matteo Maffei
H-Index: 20
Towards a game-theoretic security analysis of off-chain protocols
2023/7/10
Matteo Maffei
H-Index: 20
WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms
2023/5/21
CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model
arXiv preprint arXiv:2305.12173
2023/5/20
Matteo Maffei
H-Index: 20
Cookie crumbles: breaking and fixing web session integrity
2023
Marco Squarcina
H-Index: 6
Matteo Maffei
H-Index: 20
Glimpse:{On-Demand}{PoW} Light Client with {Constant-Size} Storage for {DeFi}
2023
Lukas Aumayr
H-Index: 3
Matteo Maffei
H-Index: 20
Rigorous Methods for Smart Contracts (Dagstuhl Seminar 21431)
2022
Matteo Maffei
H-Index: 20
Grigore Rosu
H-Index: 36
Foundations of coin mixing services
2022/11/7
Noemi Glaeser
H-Index: 1
Matteo Maffei
H-Index: 20
Erkan Tairi
H-Index: 2
Sri Aravinda Krishnan Thyagarajan
H-Index: 5
Thora: Atomic and privacy-preserving multi-channel updates
2022/11/7
Lukas Aumayr
H-Index: 3
Matteo Maffei
H-Index: 20
Sleepy channels: Bi-directional payment channels without watchtowers
2022/11/7
Lukas Aumayr
H-Index: 3
Matteo Maffei
H-Index: 20
Adoption and actual privacy of decentralized CoinJoin implementations in bitcoin
2022/9/19
Matteo Maffei
H-Index: 20
Keynote: Advances and Challenges in Payment Channel Networks
2022/3/21
Matteo Maffei
H-Index: 20
Formal Methods for the Security Analysis of Smart Contracts
2021/10/19
Donner: utxo-based virtual channels across multiple hops
2021/9/7
The remote on the local: Exacerbating web attacks via service workers caches
2021/5/27
Bitcoin-compatible virtual channels
2021/5/24
Lukas Aumayr
H-Index: 3
Matteo Maffei
H-Index: 20
Oğuzhan Ersoy
H-Index: 6
Sebastian Faust
H-Index: 26
Siavash Riahi
H-Index: 3
A2L: Anonymous Atomic Locks for Scalability in Payment Channel Hubs
2021/5/24
Erkan Tairi
H-Index: 2
Matteo Maffei
H-Index: 20
Post-quantum adaptor signature for privacy-preserving off-chain payments
2021/3/1
Erkan Tairi
H-Index: 2
Matteo Maffei
H-Index: 20
Cross-layer deanonymization methods in the lightning protocol
2021/3/1
Friedhelm Victor
H-Index: 5
Matteo Maffei
H-Index: 20