DeepInfer: Deep Type Inference from Smart Contract Bytecode

Zhao, Kunsong; Li, Zihao; Li, Jianfeng; Ye, He; Luo, Xiapu; Chen, Ting

doi:10.1145/3611643.3616343

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Enginee 2023

DOI: 10.1145/3611643.3616343

|View full text |Cite

DeepInfer: Deep Type Inference from Smart Contract Bytecode

Kunsong Zhao,

Zihao Li,

Jianfeng Li

et al.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2023

2024

Publication Types

Select...

Other3

Relationship

Self Cite1

Independent2

Authors

Journals

Cited by 3 publications

References 44 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Demystifying DeFi MEV Activities in Flashbots Bundle

Li,

et al. 2023

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security

View full text Add to dashboard Cite

Demystifying DeFi MEV Activities in Flashbots Bundle

Li,

et al. 2023

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security

View full text Add to dashboard Cite

Are We There Yet? Unraveling the State-of-the-Art Smart Contract Fuzzers

Wu,

Li,

Yan

et al. 2024

Proceedings of the IEEE/ACM 46th International Conference on Software Engineering

Self Cite

View full text Add to dashboard Cite

Given the growing importance of smart contracts in various applications, ensuring their security and reliability is critical. Fuzzing, an effective vulnerability detection technique, has recently been widely applied to smart contracts. Despite numerous studies, a systematic investigation of smart contract fuzzing techniques remains lacking. In this paper, we fill this gap by: 1) providing a comprehensive review of current research in contract fuzzing, and 2) conducting an in-depth empirical study to evaluate state-of-the-art contract fuzzers' usability. To guarantee a fair evaluation, we employ a carefully-labeled benchmark and introduce a set of pragmatic performance metrics, evaluating fuzzers from five complementary perspectives. Based on our findings, we provide direction for the future research and development of contract fuzzers.

show abstract

On the Heterophily of Program Graphs: A Case Study of Graph-based Type Inference

Xu,

Shen,

et al. 2024

Proceedings of the 15th Asia-Pacific Symposium on Internetware

View full text Add to dashboard Cite

scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.

Contact Info

customersupport@researchsolutions.com

10624 S. Eastern Ave., Ste. A-614

Henderson, NV 89052, USA

Blog Terms and Conditions API Terms Privacy Policy Contact Cookie Preferences Do Not Sell or Share My Personal Information

Made with 💙 for researchers

Part of the Research Solutions Family.

DeepInfer: Deep Type Inference from Smart Contract Bytecode

Cited by 3 publications

References 44 publications

Demystifying DeFi MEV Activities in Flashbots Bundle

Demystifying DeFi MEV Activities in Flashbots Bundle

Are We There Yet? Unraveling the State-of-the-Art Smart Contract Fuzzers

On the Heterophily of Program Graphs: A Case Study of Graph-based Type Inference

Contact Info

Product

Resources

About