Matteo Maffei

Identifiers

• name variant Matteo Maffei 0.60 · backfill

Papers (7)

1. Ark: Offchain Transaction Batching in Bitcoin cs.DC · 2026 · author #2
2. A Composable Game-Theoretic Framework for Blockchains cs.GT · 2025 · author #4
3. A Security Framework for General Blockchain Layer 2 Protocols cs.CR · 2025 · author #2
4. A Semantic Framework for the Security Analysis of Ethereum smart contracts cs.CR · 2018 · author #2
5. A Type System for Privacy Properties (Technical Report) cs.CR · 2017 · author #4
6. HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving cs.CR · 2017 · author #3
7. A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications cs.CR · 2017 · author #4

Mentions

• 2605.20952 #2 · arxiv_oai · confidence 0.70 Matteo Maffei
• 2504.14965 #2 · arxiv_oai · confidence 0.70 Matteo Maffei

Frequent Coauthors

• Ilya Grishchenko 3 shared papers
• Zeta Avarikioti 3 shared papers
• Pim Keer 2 shared papers
• Stefano Calzavara 2 shared papers
• Adrien Koutsos 1 shared papers
• Andrew Camilleri 1 shared papers
• Clara Schneidewind 1 shared papers
• Fabian Regen 1 shared papers
• Georg Fuchsbauer 1 shared papers
• Joseph Lallemand 1 shared papers
• Marco Argentieri 1 shared papers
• Niklas Grimm 1 shared papers
• V\'eronique Cortier 1 shared papers
• Yuheng Wang 1 shared papers