Solidifier-Reference-Cited by-同舟云学术

Solidifier

Published:2021-03-22 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 36th Annual ACM Symposium on Applied Computing
language:
Short-container-title:

Author:

Antonino Pedro¹,Roscoe A. W.²

Affiliation:

1. The Blockhouse Technology Limited, Oxford, UK

2. Oxford University, Oxford, UK

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3412841.3442051

Reference45 articles.

1. [n.d.]. Azure blockchain workbench website. https://github.com/Azure-Samples/blockchain/tree/master/blockchainworkbench/application-and-smart-contract-samples. [n.d.]. Azure blockchain workbench website. https://github.com/Azure-Samples/blockchain/tree/master/blockchainworkbench/application-and-smart-contract-samples.

2. [n.d.]. Ethereum White Paper. https://github.com/ethereum/wiki/wiki/White-Paper. [n.d.]. Ethereum White Paper. https://github.com/ethereum/wiki/wiki/White-Paper.

3. [n.d.]. Hyperledge Fabric website. https://www.hyperledger.org/projects/fabric. [n.d.]. Hyperledge Fabric website. https://www.hyperledger.org/projects/fabric.

4. [n.d.]. Solidifier website. https://github.com/blockhousetech/research/tree/master/Solidifier. [n.d.]. Solidifier website. https://github.com/blockhousetech/research/tree/master/Solidifier.

5. [n.d.]. Solidity compiler. https://github.com/ethereum/solidity. [n.d.]. Solidity compiler. https://github.com/ethereum/solidity.

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

1. A refinement-based approach to safe smart contract deployment and evolution;Software and Systems Modeling;2024-01-25

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

3. A systematic literature review of undiscovered vulnerabilities and tools in smart contract technology;Journal of Intelligent Systems;2023-01-01

4. Toward Vulnerability Detection for Ethereum Smart Contracts Using Graph-Matching Network;Future Internet;2022-11-11

5. Predicate abstractions for smart contract validation;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems;2022-10-23