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

C. Braghin; E. Riccobene; Simone Valentini

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

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

Topics: Blockchains Security and Privacy; Formal Methods for Security; Security Engineering; Security in Distributed Systems; Security Verification and Validation

In Proceedings of the 21st International Conference on Security and Cryptography SECRYPT - Volume 1, 334-344, 2024 , Dijon, France

Authors: C. Braghin ; E. Riccobene and Simone Valentini

Affiliation: Department of Computer Science, Università degli Studi di Milano, Italy

Keyword(s): Blockchain, Smart-Contracts, Exception, Verification, Validation, ASMs, ASMETA.

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.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 3.145.102.187

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

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 - SECRYPT; ISBN 978-989-758-709-2; ISSN 2184-7711, SciTePress, pages 334-344. DOI: 10.5220/0012858000003767

@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 - SECRYPT},
year={2024},
pages={334-344},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0012858000003767},
isbn={978-989-758-709-2},
issn={2184-7711},
}

TY - CONF

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