Imagen de Portada
Código QR

Analyzing Smart Contracts With MadMax.

The article discusses using the computer program MadMax to analyze smart contracts, Internet financial contracts which are supposed to embrace computational integrity, often using blockchain-based systems such as Ethereum Virtual Machine (EVM) and similar systems. It explores unique features of MadM...

Descripción completa

Publicado en:Communications of the ACM Vol. 63; no. 10; p. 86
Autor principal: Livshits, Benjamin
Formato: Artículo
Publicado: Association for Computing Machinery Oct2020
Materias:
Electronic contracts
Internet security
Legal instruments
Computer security
Prevention of computer hacking
Computer security vulnerabilities
Blockchains
Acceso en línea:Ver este registro en EBSCOhost
Sumario:The article discusses using the computer program MadMax to analyze smart contracts, Internet financial contracts which are supposed to embrace computational integrity, often using blockchain-based systems such as Ethereum Virtual Machine (EVM) and similar systems. It explores unique features of MadMax such as metering, static analysis, and its ability to perform a permanent denial-of-service for out-of-gas attacks on contracts.