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...
| Publicado en: | Communications of the ACM Vol. 63; no. 10; p. 86 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Oct2020
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=146056007&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 146056007 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Oct2020 vid: 63 iid: 10 pid: 68 pub: Association for Computing Machinery artinfo: ui: 146056007 10.1145/3416259 ppf: 86 ppct: 0 formats: tig: atl: Analyzing Smart Contracts With MadMax. aug: au: Livshits, Benjamin affil: Chief Scientist of Brave Software and an associate professor at Imperial College London, U.K. su: Electronic contracts Internet security Legal instruments Computer security Prevention of computer hacking Computer security vulnerabilities Blockchains sug: subj: Electronic contracts Internet security Legal instruments Computer security Prevention of computer hacking Computer security vulnerabilities Blockchains ab: 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. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2020 holdings: @attributes: islocal: N |
|---|