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...

Full description

Bibliographic Details

Published in:	Communications of the ACM Vol. 63; no. 10; p. 86
Main Author:	Livshits, Benjamin
Format:	Article
Published:	Association for Computing Machinery Oct2020
Subjects:	Electronic contracts Internet security Legal instruments Computer security Prevention of computer hacking Computer security vulnerabilities Blockchains
Online Access:	View this record in EBSCOhost