Album: Crypto

Papers

Evaluating Cryptographic API Misuse Detectors for Go (Vivi Andersson and Martin Monperrus), In Proceedings 2026 IEEE/ACM 4th International Workshop on Software Vulnerability Management, SVM 2026 :, Association for Computing Machinery (ACM), 2026. [github]
PoCo: Agentic Proof-of-Concept Exploit Generation for Smart Contracts (Vivi Andersson, Sofia Bobadilla, Harald Hobbelhagen and Martin Monperrus), In ACM Transactions on Software Engineering and Methodology, 2026. [github]
Proving and Rewarding Client Diversity to Strengthen Resilience of Blockchain Networks (Javier Ron, Zheyuan He and Martin Monperrus), In Distributed Ledger Technologies: Research and Practice, volume 5, 2026. [github]

Do Automated Fixes Truly Mitigate Smart Contract Exploits? (Sofia Bobadilla, Monica Jin and Martin Monperrus), In IEEE Transactions on Software Engineering, 2025. [github]
Software Supply Chain Security of Web3 (Martin Monperrus), In Proceedings of 32nd Asia-Pacific Software Engineering Conference (APSEC), 2025.
On-Chain Analysis of Smart Contract Dependency Risks on Ethereum (Monica Jin, Raphina Liu and Martin Monperrus), Technical report 2503.19548, arXiv, 2025.
FLAMES: Fine-tuning LLMs to Synthesize Invariants for Smart Contract Security (Mojtaba Eshghie, Gabriele Morello, Matteo Lauretano, Alexandre Bartel and Martin Monperrus), Technical report 2510.21401, 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.

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]