Precise static modeling of Ethereum “memory”-Reference-Cited by-同舟云学术

Precise static modeling of Ethereum “memory”

Published:2020-11-13 Issue:OOPSLA Volume:4 Page:1-26
ISSN:2475-1421
Container-title:Proceedings of the ACM on Programming Languages
language:en
Short-container-title:Proc. ACM Program. Lang.

Author:

Lagouvardos Sifis¹,Grech Neville¹,Tsatiris Ilias¹,Smaragdakis Yannis¹

Affiliation:

1. University of Athens, Greece

Publisher

Association for Computing Machinery (ACM)

Subject

Safety, Risk, Reliability and Quality,Software

Link

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

Reference34 articles.

1. ChainSecurity. 2019. Dangerous Repeated Calls to Untrusted Contracts. https://medium.com/chainsecurity/dangerousrepeated-calls-to-untrusted-contracts-3c97d614744b ChainSecurity. 2019. Dangerous Repeated Calls to Untrusted Contracts. https://medium.com/chainsecurity/dangerousrepeated-calls-to-untrusted-contracts-3c97d614744b

2. ChainSecurity. 2020. Securify2. https://github.com/eth-sri/ securify2 ChainSecurity. 2020. Securify2. https://github.com/eth-sri/ securify2

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

1. Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. sGuard+: Machine Learning Guided Rule-Based Automated Vulnerability Repair on Smart Contracts;ACM Transactions on Software Engineering and Methodology;2024-06-04

3. PrettySmart: Detecting Permission Re-delegation Vulnerability for Token Behaviors in Smart Contracts;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12

4. An Abstract Interpretation-Based Data Leakage Static Analysis;Lecture Notes in Computer Science;2024

5. TODLER: A Transaction Ordering Dependency anaLyzER - for Ethereum Smart Contracts;2023 IEEE/ACM 6th International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB);2023-05