相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Combining Graph Neural Networks With Expert Knowledge for Smart Contract Vulnerability Detection
Zhenguang Liu et al.
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING (2023)
Systematic Review of Security Vulnerabilities in Ethereum Blockchain Smart Contract
Satpal Singh Kushwaha et al.
IEEE ACCESS (2022)
V-Fuzz: Vulnerability Prediction-Assisted Evolutionary Fuzzing for Binary Programs
Yuwei Li et al.
IEEE TRANSACTIONS ON CYBERNETICS (2022)
CONFUZZIUS: A Data Dependency-Aware Hybrid Fuzzer for Smart Contracts
Christof Ferreira Torres et al.
2021 IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY (EUROS&P 2021) (2021)
Making Smart Contracts Smarter
Syed Badruddoja et al.
2021 IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN AND CRYPTOCURRENCY (ICBC) (2021)
Targeted Greybox Fuzzing with Static Lookahead Analysis
Valentin Wustholz et al.
2020 ACM/IEEE 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2020) (2020)
Towards Automated Reentrancy Detection for Smart Contracts Based on Sequential Models
Peng Qian et al.
IEEE ACCESS (2020)
Coverage-Based Greybox Fuzzing as Markov Chain
Marcel Bohme et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2019)
Digital Resource Rights Confirmation and Infringement Tracking Based on Smart Contracts
Peng Qian et al.
PROCEEDINGS OF 2019 6TH IEEE INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND INTELLIGENCE SYSTEMS (CCIS) (2019)
A Novel Neural Source Code Representation Based on Abstract Syntax Tree
Jian Zhang et al.
2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2019) (2019)
CryptoAR Wallet: A Blockchain Cryptocurrency Wallet Application that Uses Augmented Reality for On-chain User Data Display
You-Ping Chen et al.
PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON HUMAN-COMPUTER INTERACTION WITH MOBILE DEVICES AND SERVICES (MOBILEHCI'19) (2019)
Learning to Fuzz from Symbolic Execution with Application to Smart Contracts
Jingxuan He et al.
PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19) (2019)
Fuzzing File Systems via Two-Dimensional Input Space Exploration
Wen Xu et al.
2019 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2019) (2019)
Slither: A Static Analysis Framework For Smart Contracts
Josselin Feist et al.
2019 IEEE/ACM 2ND INTERNATIONAL WORKSHOP ON EMERGING TRENDS IN SOFTWARE ENGINEERING FOR BLOCKCHAIN (WETSEB 2019) (2019)
Fuzzing: State of the Art
Hongliang Liang et al.
IEEE TRANSACTIONS ON RELIABILITY (2018)
A Semantic Framework for the Security Analysis of Ethereum Smart Contracts
Ilya Grishchenko et al.
PRINCIPLES OF SECURITY AND TRUST, POST 2018 (2018)
KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine
Everett Hildenbrandt et al.
IEEE 31ST COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2018) (2018)
SECURIFY: Practical Security Analysis of Smart Contracts
Petar Tsankov et al.
PROCEEDINGS OF THE 2018 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'18) (2018)
Hawkeye: Towards a Desired Directed Grey-box Fuzzer
Hongxu Chen et al.
PROCEEDINGS OF THE 2018 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'18) (2018)
CollAFL: Path Sensitive Fuzzing
Shuitao Gan et al.
2018 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP) (2018)
Angora: Efficient Fuzzing by Principled Search
Peng Chen et al.
2018 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP) (2018)
OSIRIS: Hunting for Integer Bugs in Ethereum Smart Contracts
Christof Ferreira Torres et al.
34TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE (ACSAC 2018) (2018)
Blockchain challenges and opportunities: a survey
Zibin Zheng et al.
INTERNATIONAL JOURNAL OF WEB AND GRID SERVICES (2018)
A Survey of Attacks on Ethereum Smart Contracts (SoK)
Nicola Atzei et al.
PRINCIPLES OF SECURITY AND TRUST (POST 2017) (2017)
Directed Greybox Fuzzing
Marcel Bohme et al.
CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (2017)
Blockchain: Emergent Industry Adoption and Implications for Accounting
Julia Kokina et al.
JOURNAL OF EMERGING TECHNOLOGIES IN ACCOUNTING (2017)
Formal Verification of Smart Contracts Short Paper
Karthikeyan Bhargavan et al.
PROCEEDINGS OF THE 2016 ACM WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY (PLAS'16) (2016)
Can traditional fault prediction models be used for vulnerability prediction?
Yonghee Shin et al.
EMPIRICAL SOFTWARE ENGINEERING (2013)