Smart Contracts: A Killer Application for Deductive Source Code Verification-Reference-Cited by-同舟云学术

Smart Contracts: A Killer Application for Deductive Source Code Verification

Published:2018 Issue: Volume: Page:1-18
ISSN:
Container-title:Principled Software Development
language:
Short-container-title:

Author:

Ahrendt Wolfgang,Pace Gordon J.,Schneider Gerardo

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-98047-8_1

Reference37 articles.

1. A. Hern. $300m in cryptocurrency accidentally lost forever due to bug. Appeared at The Guardian https://www.theguardian.com/technology/2017/nov/08/cryptocurrency-300m-dollars-stolen-bug-ether . Nov. 2017.

2. T. Abdellatif and K. L. Brousmiche. “Formal Verification of Smart Contracts Based on Users and Blockchain Behaviors Models. In 2018 9th IFIP International Conference on New Technologies, Mobility and Security (NTMS). Feb. 2018, pp. 1–5. https://doi.org/10.1109/NTMS.2018.8328737 .

3. Wolfgang Ahrendt et al., eds. Deductive Software Verification—The KeY Book. Vol. 10001. LNCS. Springer, 2016.

4. Wolfgang Ahrendt et al. “The KeY Platform for Verification and Analysis of Java Programs”. In: STTE’14. Vol. 8471. LNCS. Springer, 2014, pp. 55–71. https://doi.org/10.1007/978-3-319-12154-3_4 .

5. Nicola Atzei, Massimo Bartoletti, and Tiziana Cimoli. “A Survey of Attacks on Ethereum Smart Contracts (SoK)”. In: Proceedings of the 6th International Conference on Principles of Security and Trust. Vol. 10204. LNCS. Springer, 2017. ISBN: 978-3-662-54454-9. URL: https://doi.org/10.1007/978-3-662-54455-6_8 .

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Improving smart contract search by semantic and structural clustering for source codes;Blockchain: Research and Applications;2022-12

2. Blockchain in education: the influence of trust on adoption and implementation;RAUSP Management Journal;2022-06-01

3. Selective Presumed Benevolence in Multi-party System Verification;Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles;2022

4. Ethereum smart contract security research: survey and future research opportunities;Frontiers of Computer Science;2020-10-02

5. Reentrancy? Yes. Reentrancy Bug? No.;Dependable Software Engineering. Theories, Tools, and Applications;2020