Ethereum Smart Contracts Under Scrutiny: A Survey of Security Verification Tools, Techniques, and Challenges
Smart contracts are self-executing programs that facilitate trustless transactions between multiple parties, most commonly deployed on the Ethereum blockchain. They have become integral to decentralized applications in areas such as voting, digital agreements, and financial systems. However, the imm...
Bewaard in:
| Hoofdauteurs: | , |
|---|---|
| Formaat: | Artigo |
| Taal: | Inglês |
| Gepubliceerd in: |
MDPI AG
2025-06-01
|
| Reeks: | Computers |
| Onderwerpen: | |
| Online toegang: | https://www.mdpi.com/2073-431X/14/6/226 |
| Tags: |
Geen labels, Wees de eerste die dit record labelt!
|