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

Detalles Bibliográficos

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