Formal Verification of Smart Contracts-Reference-Cited by-同舟云学术

Formal Verification of Smart Contracts

Published:2016-10-24 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security
language:
Short-container-title:

Author:

Bhargavan Karthikeyan¹,Delignat-Lavaud Antoine²,Fournet Cédric²,Gollamudi Anitha³,Gonthier Georges²,Kobeissi Nadim¹,Kulatova Natalia¹,Rastogi Aseem⁴,Sibut-Pinote Thomas¹,Swamy Nikhil⁵,Zanella-Béguelin Santiago²

Affiliation:

1. Inria, Paris, France

2. Microsoft Research, Cambridge, United Kingdom

3. Harvard University, Cambridge, USA

4. Microsoft Research, Bangalore, India

5. Microsoft Research, Redmond, USA

Publisher

ACM

Link

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

Reference9 articles.

1. Probabilistic relational verification for cryptographic implementations

2. V. Buterin. Critical update re: Dao vulnerability. https://blog.ethereum.org/2016/06/17/critical-update-re-dao-vulnerability 2016. V. Buterin. Critical update re: Dao vulnerability. https://blog.ethereum.org/2016/06/17/critical-update-re-dao-vulnerability 2016.

3. Ethereum. Solidity documentation -- Release 0.2.0. http://solidity.readthedocs.io/ 2016. Ethereum. Solidity documentation -- Release 0.2.0. http://solidity.readthedocs.io/ 2016.

4. Ethereum. Solidity-browser. https://ethereum.github.io/browser-solidity 2016. Ethereum. Solidity-browser. https://ethereum.github.io/browser-solidity 2016.

5. Why3 — Where Programs Meet Provers

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

1. Translation certification for smart contracts;Science of Computer Programming;2024-03

2. Smart contract life-cycle management: an engineering framework for the generation of robust and verifiable smart contracts;Frontiers in Blockchain;2024-01-08

3. A Review on the Security of the Ethereum-Based DeFi Ecosystem;Computer Modeling in Engineering & Sciences;2024

4. Смарт-контракты в морском секторе;THE TIDINGS of the Baltic State Fishing Fleet Academy: Psychological and pedagogical sciences (Theory and methods of professional education);2023-12-19

5. Web3: Exploring Decentralized Technologies and Applications for the Future of Empowerment and Ownership;Blockchains;2023-12-11