暂无分享,去创建一个
Ákos Hajdu | Gabriela F. Cretu-Ciocarlie | Dejan Jovanovic | G. Ciocarlie | ´Akos Hajdu | Dejan Jovanovi´c
[1] Daniel Davis Wood,et al. ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER , 2014 .
[2] Bor-Yuh Evan Chang,et al. Boogie: A Modular Reusable Verifier for Object-Oriented Programs , 2005, FMCO.
[3] Huashan Chen,et al. A Survey on Ethereum Systems Security , 2019, ACM Comput. Surv..
[4] Ákos Hajdu,et al. solc-verify: A Modular Verifier for Solidity Smart Contracts , 2019, VSTTE.
[5] Jiachi Chen,et al. Defining Smart Contract Defects on Ethereum , 2019 .
[6] Fei Wang,et al. MPI: Multiple Perspective Attack Investigation with Semantic Aware Execution Partitioning , 2017, USENIX Security Symposium.
[7] Dejan Jovanovic,et al. SMT-Friendly Formalization of the Solidity Memory Model , 2020, ESOP.
[8] Massimo Bartoletti,et al. A Survey of Attacks on Ethereum Smart Contracts (SoK) , 2017, POST.