all InfoSec news
Towards Automated Security Analysis of Smart Contracts based on Execution Property Graph. (arXiv:2305.14046v2 [cs.CR] UPDATED)
cs.CR updates on arXiv.org arxiv.org
Identifying and mitigating vulnerabilities in smart contracts is crucial,
especially considering the rapid growth and increasing complexity of
Decentralized Finance (DeFi) platforms. To address the challenges associated
with securing these contracts, we introduce a versatile dynamic analysis
framework specifically designed for the Ethereum Virtual Machine (EVM). This
comprehensive framework focuses on tracking contract executions, capturing
valuable runtime information, while introducing and employing the Execution
Property Graph (EPG) to propose a unique graph traversal technique that swiftly
detects potential smart contract …
address analysis automated challenges complexity decentralized defi dynamic dynamic analysis ethereum finance framework growth machine platforms rapid security security analysis smart smart contracts virtual virtual machine vulnerabilities