May 26, 2023, 1:19 a.m. | Kaihua Qin, Zhe Ye, Zhun Wang, Weilin Li, Liyi Zhou, Chao Zhang, Dawn Song, Arthur Gervais

cs.CR updates on

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

More from / cs.CR updates on

Consultant infrastructure sécurité H/F

@ Hifield | Sèvres, France

IT Security Analyst

@ Current | Greenville, SC, United States

Information Security Specialist (Hybrid)

@ Netcompany-Intrasoft | Valetta, Malta

Consultant Cybersécurité Industrielle (H/F)

@ ADVENS | Paris, France

Africa Talent by Deloitte – IRL Application Security, Cyber cloud Assistant Manager

@ Deloitte | Midrand, South Africa

Africa Talent by Deloitte – IRL Application Security, Infrastructure Security Senior Consultant

@ Deloitte | Midrand, South Africa