{ETHBMC}: A bounded model checker for smart contracts

J Frank, C Aschermann, T Holz - 29th USENIX Security Symposium …, 2020 - usenix.org
The introduction of smart contracts has significantly advanced the state-of-the-art in
cryptocurrencies. Smart contracts are programs who live on the blockchain, governing the …
被引用次数：135 相关文章
[PDF] rub.de

[PDF][PDF] ETHBMC: A Bounded Model Checker for Smart Contracts

J Frank, C Aschermann, T Holz - casa.rub.de
The introduction of smart contracts has significantly advanced the state-of-the-art in
cryptocurrencies. Smart contracts are programs who live on the blockchain, governing the …
[PDF] usenix.org

[PDF][PDF] ETHBMC: A Bounded Model Checker for Smart Contracts

J Frank, C Aschermann, T Holz - usenix.org
The introduction of smart contracts has significantly advanced the state-of-the-art in
cryptocurrencies. Smart contracts are programs who live on the blockchain, governing the …
[PDF] cointhinktank.com

[PDF][PDF] ETHBMC: A Bounded Model Checker for Smart Contracts

J Frank, C Aschermann, T Holz - cointhinktank.com
The introduction of smart contracts has significantly advanced the state-of-the-art in
cryptocurrencies. Smart contracts are programs who live on the blockchain, governing the …

ETHBMC: a bounded model checker for smart contracts

J Frank, C Aschermann, T Holz - … of the 29th USENIX Conference on …, 2020 - dl.acm.org
The introduction of smart contracts has significantly advanced the state-of-the-art in
cryptocurrencies. Smart contracts are programs who live on the blockchain, governing the …
[PDF] archive.org

[PDF][PDF] EthBMC: A Bounded Model Checker for Smart Contracts

J Frank, C Aschermann, T Holz - 2020 - scholar.archive.org
The introduction of smart contracts has significantly advanced the state-of-the-art in
cryptocurrencies. Smart contracts are programs who live on the blockchain, governing the …

EthBMC: A Bounded Model Checker for Smart Contracts

J Frank, C Aschermann, T Holz - pdfs.semanticscholar.org
Contribution 1. provide a survey of the current state-of-the-art analyzers for the Ethereum
network, finding all of them to lack precise reasoning over EVM internals 2. present the …