一种以太坊智能合约安全框架
密码学与安全
2024-02-07 v1
摘要
近年来，区块链和智能合约的应用持续增长。如同所有开始扩大应用的软件一样，它也开始成为黑客的目标，黑客会试图利用底层技术和智能合约代码本身的漏洞。虽然已有许多用于分析智能合约漏洞的工具，但方法的异质性和多样性，以及提供分析数据方式的差异，使得智能合约开发者的学习曲线变得陡峭。在本文中，作者提出了ESAF（以太坊安全分析框架），这是一个用于分析智能合约的框架，旨在统一并简化分析智能合约漏洞的任务，该框架可用作一组目标合约的持久安全监控工具，也可作为经典的漏洞分析工具等其他用途。
引用
@article{arxiv.2402.03555,
title = {A security framework for Ethereum smart contracts},
author = {Antonio López Vivar and Ana Lucila Sandoval Orozco and Luis Javier García Villalba},
journal= {arXiv preprint arXiv:2402.03555},
year = {2024}
}