A security type verifier for smart contracts-Reference-Cited by-同舟云学术

A security type verifier for smart contracts

Published:2021-09 Issue: Volume:108 Page:102343
ISSN:0167-4048
Container-title:Computers & Security
language:en
Short-container-title:Computers & Security

Author:

Hu Xinwen^ORCID,Zhuang Yi,Lin Shang-Wei,Zhang Fuyuan,Kan Shuanglong,Cao Zining

Funder

China Scholarship Council

National Natural Science Foundation of China

Publisher

Elsevier BV

Subject

Law,General Computer Science

Reference52 articles.

1. Formal verification of smart contracts based on users and blockchain behaviors models;Abdellatif,2018

2. Akentiev, A., 2020Parity multisig hacked. again. https://medium.com/chain-cloud-company-blog/parity-multisig-hack-again-b46771eaa838. Accessed Mon 22 Jun.

3. Towards verifying Ethereum smart contract bytecode in Isabelle/HOL;Amani,2018

4. A survey of attacks on Ethereum smart contracts (SoK);Atzei,2017

5. An empirical analysis of smart contracts: platforms, applications, and design patterns;Bartoletti,2017

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

1. An Interpretable Model for Large-scale Smart Contract Vulnerability Detection;Blockchain: Research and Applications;2024-06

2. SafeCheck: Detecting smart contract vulnerabilities based on static program analysis methods;SECURITY AND PRIVACY;2024-03-11

3. An empirical study of attack-related events in DeFi projects development;Empirical Software Engineering;2024-02-23

4. Unveiling Vulnerable Smart Contracts: Toward Profiling Vulnerable Smart Contracts using Genetic Algorithm and Generating Benchmark Dataset;Blockchain: Research and Applications;2023-11

5. Security Threat Mitigation for Smart Contracts: A Comprehensive Survey;ACM Computing Surveys;2023-07-17