Verifiable Computation using Smart Contracts-Reference-Cited by-同舟云学术

Verifiable Computation using Smart Contracts

Published:2019 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2019 ACM SIGSAC Conference on Cloud Computing Security Workshop - CCSW'19
language:
Short-container-title:

Author:

Avizheh Sepideh¹,Nabi Mahmudun¹,Safavi-Naini Reihaneh¹,Venkateswarlu K. Muni¹

Affiliation:

1. University of Calgary, Calgary, AB, Canada

Publisher

ACM Press

Reference22 articles.

1. 2019. ETH gas station. https://ethgasstation.info/ Accessed on August 19, 2019.

2. 2019. RSK. https://www.rsk.co/solutions/ Accessed on August 19, 2019.

3. David P Anderson. 2004. Boinc: A system for public-resource computing and storage. In proceedings of the 5th IEEE/ACM International Workshop on Grid Computing. IEEE Computer Society, 4--10.

4. Benny Applebaum, Yuval Ishai, and Eyal Kushilevitz. 2010. From secrecy to soundness: Efficient verification via secure computation. In International Colloquium on Automata, Languages, and Programming. Springer, 152--163.

5. László Babai. 1985. Trading group theory for randomness. In Proceedings of the seventeenth annual ACM symposium on Theory of computing. ACM, 421--429.

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

1. Tethering Layer 2 solutions to the blockchain: A survey on proving schemes;Computer Communications;2024-09

2. EPVM: efficient and publicly verifiable computation for matrix multiplication with privacy preservation;Cluster Computing;2024-03-15

3. BLISS: blockchain-based integrated security system for internet of things (IoT) applications;International Journal of Information Security;2024-01-25

4. Trusted Searchable Cryptographic Authentication Model in Edge Computing;2023 International Conference on Blockchain Technology and Information Security (ICBCTIS);2023-06

5. Blockchain for achieving accountable outsourcing computations in edge computing;Computer Communications;2023-02