Contact: Martin Monperrus2025
- Do Automated Fixes Truly Mitigate Smart Contract Exploits? (Sofia Bobadilla, Monica Jin and Martin Monperrus), Technical report 2501.04600, arXiv, 2025.
- 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.
2024
- Geth Rebuild : Verifiable Builds for Go Ethereum (Vivi Andersson), Master's thesis, KTH Royal Institute of Technology, 2024.
- 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.
2023
- 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.
- 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.
- Diverse Double-Compiling to Harden Cryptocurrency Software (Niklas Rosencrantz), Master's thesis, KTH Royal Institute of Technology, 2023.
- 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.
2022