An ASM-Based Approach for Security Assessment of Ethereum Smart Contracts

C. Braghin, E. Riccobene, Simone Valentini

2024

Abstract

Blockchain-based smart contracts are gaining widespread adoption due to their potential to automate complex transactions securely and transparently. However, ensuring the correctness and security of smart contracts remains a challenge. This paper proposes a novel approach to modeling and verifying Ethereum smart contracts’ exception-related vulnerabilities using Abstract State Machines (ASMs). ASMs provide a formal modeling language that enables the precise representation of system behavior and properties. We developed an ASM model of a Solidity smart contract and demonstrated its use on Unhandled Exception vulnerability identification and check contract correctness. Our approach offers a formal framework for smart contract modeling and verification. It leverages the power of ASM tools to identify vulnerabilities and ensure contract reliability, contributing to more secure and trustworthy blockchain-based applications.

Paper Citation

in Harvard Style

Braghin C., Riccobene E. and Valentini S. (2024). An ASM-Based Approach for Security Assessment of Ethereum Smart Contracts. In Proceedings of the 21st International Conference on Security and Cryptography - Volume 1: SECRYPT; ISBN 978-989-758-709-2, SciTePress, pages 334-344. DOI: 10.5220/0012858000003767

in Bibtex Style

@conference{secrypt24,
author={C. Braghin and E. Riccobene and Simone Valentini},
title={An ASM-Based Approach for Security Assessment of Ethereum Smart Contracts},
booktitle={Proceedings of the 21st International Conference on Security and Cryptography - Volume 1: SECRYPT},
year={2024},
pages={334-344},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0012858000003767},
isbn={978-989-758-709-2},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 21st International Conference on Security and Cryptography - Volume 1: SECRYPT
TI - An ASM-Based Approach for Security Assessment of Ethereum Smart Contracts
SN - 978-989-758-709-2
AU - Braghin C.
AU - Riccobene E.
AU - Valentini S.
PY - 2024
SP - 334
EP - 344
DO - 10.5220/0012858000003767
PB - SciTePress