Abstract interpretation of Michelson smart-contracts-Reference-Cited by-同舟云学术

Abstract interpretation of Michelson smart-contracts

Published:2022-06-14 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
language:
Short-container-title:

Author:

Bau Guillaume¹,Miné Antoine²,Botbol Vincent³,Bouaziz Mehdi³

Affiliation:

1. Sorbonne University, France / CNRS, France / LIP6, France / Nomadic Labs, France

2. Sorbonne University, France / CNRS, France / LIP6, France

3. Nomadic Labs, France

Publisher

ACM

Link

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

Reference37 articles.

1. Binod Aryal . 2021. Comparison of Ethereum Smart Contract Vulnerability Detection Tools. Master’s thesis . University of Turku . https://urn.fi/URN:NBN:fi-fe 2021 110453759 Binod Aryal. 2021. Comparison of Ethereum Smart Contract Vulnerability Detection Tools. Master’s thesis. University of Turku. https://urn.fi/URN:NBN:fi-fe2021110453759

2. Recency-Abstraction for Heap-Allocated Storage

3. Numeric domains meet algebraic data types

4. Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts

5. Bitburner. 2018. Proof of Weak Hands (PoWH) Coin hacked 866 eth stolen. https://steemit.com/cryptocurrency/@bitburner/proof-of-weak-hands-powh-coin-hacked-866-eth-stolen Bitburner. 2018. Proof of Weak Hands (PoWH) Coin hacked 866 eth stolen. https://steemit.com/cryptocurrency/@bitburner/proof-of-weak-hands-powh-coin-hacked-866-eth-stolen

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

1. MichelsonLiSA: A Static Analyzer for Tezos;2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops);2023-03-13

2. Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution);Tools and Algorithms for the Construction and Analysis of Systems;2023

3. Abstract Interpretation: From 0, 1, to $$\infty $$;Intelligent Systems Reference Library;2023