Album: Crypto

Papers

• Do Automated Fixes Truly Mitigate Smart Contract Exploits? (Sofia Bobadilla, Monica Jin and Martin Monperrus), Technical report 2501.04600, arXiv, 2025.
• On-Chain Analysis of Smart Contract Dependency Risks on Ethereum (Monica Jin, Raphina Liu and Martin Monperrus), Technical report 2503.19548, arXiv, 2025.

• DISL: Fueling Research with A Large Dataset of Solidity Smart Contracts (Gabriele Morello, Mojtaba Eshghie, Sofia Bobadilla and Martin Monperrus), Technical report 2403.16861, arXiv, 2024.
• SoliDiffy: AST Differencing for Solidity Smart Contracts (Mojtaba Eshghie, Viktor Åryd, Cyrille Artho and Martin Monperrus), Technical report 2411.07718, arXiv, 2024.
• Proving and Rewarding Client Diversity to Strengthen Resilience of Blockchain Networks (Javier Ron, Zheyuan He and Martin Monperrus), Technical report 2411.18401, arXiv, 2024.

• Chaos Engineering of Ethereum Blockchain Clients (Long Zhang, Javier Ron, Benoit Baudry and Martin Monperrus), In Distributed Ledger Technologies: Research and Practice, volume 2, 2023. [github]
• Highly Available Blockchain Nodes With N-Version Design (Javier Ron, César Soto-Valero, Long Zhang, Benoit Baudry and Martin Monperrus), In IEEE Transactions on Dependable and Secure Computing, 2023. [github]

• The Multibillion Dollar Software Supply Chain of Ethereum (César Soto-Valero, Martin Monperrus and Benoit Baudry), In IEEE Computer, 2022. [github]

Theses

• AST Differencing for Solidity (Viktor Åryd), Master's thesis, KTH Royal Institute of Technology, 2025.
• EVeilM : EVM Bytecode Obfuscation (Titouan Forissier), Master's thesis, KTH Royal Institute of Technology, 2025.
• FLAMES : Fine-tuned Large Language Model for Invariant Synthesis (Gabriele Morello), Master's thesis, KTH Royal Institute of Technology, 2025.
• InvPurge : Reducing Invariant Noise with Logical Differencing (Gustav Andersson Kasche), Master's thesis, KTH Royal Institute of Technology, 2025.

• Geth Rebuild : Verifiable Builds for Go Ethereum (Vivi Andersson), Master's thesis, KTH Royal Institute of Technology, 2024.

• An initial investigation of Automatic Program Repair for Solidity Smart Contracts with Large Language Models (Erik Cruz), Master's thesis, KTH Royal Institute of Technology, 2023.
• Diverse Double-Compiling to Harden Cryptocurrency Software (Niklas Rosencrantz), Master's thesis, KTH Royal Institute of Technology, 2023.

• State Validation of Ethash-based Blockchains using a zk-SNARK-based Chain Relay (Leonard Stutzer), Master's thesis, KTH Royal Institute of Technology, 2022.