Jiahao He

ORCID: 0000-0002-6837-2682
Publications
Citations
Views
---
Saved
---
About
Contact & Profiles
Research Areas
  • Blockchain Technology Applications and Security
  • Advanced Malware Detection Techniques
  • Security and Verification in Computing
  • Cryptography and Data Security
  • Advanced Data Storage Technologies
  • Cybercrime and Law Enforcement Studies
  • Energy, Environment, and Transportation Policies
  • Digital Rights Management and Security
  • Vehicle emissions and performance
  • Crime, Illicit Activities, and Governance
  • Traffic Prediction and Management Techniques
  • Network Security and Intrusion Detection

Seattle University
2024

University of Washington
2024

South China Normal University
2019

Ethereum smart contracts are programs that can be collectively executed by a network of mutually untrusted nodes. Smart handle and transfer assets values, offering strong incentives for malicious attacks. Intrusion attacks popular type In this article, we propose ContractGuard, the first intrusion detection system (IDS) to defend against such Like IDSs conventional programs, ContractGuard detects attempts as abnormal control flow. However, existing IDS techniques/tools inapplicable due...

10.1109/tsc.2019.2949561 article EN IEEE Transactions on Services Computing 2019-01-01

The financial property of Ethereum makes smart contract attacks frequently bring about tremendous economic loss. Method for effective detection vulnerabilities in contracts imperative. Existing efforts security analysis heavily rely on rigid rules defined by experts, which are labor-intensive and non-scalable. There is still a lack effort that considers combining expert-defined patterns with deep learning. This paper proposes EtherGIS, vulnerability framework utilizes graph neural networks...

10.1109/compsac54236.2022.00277 article EN 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC) 2022-06-01

The widespread recognition of the smart contracts has established their importance in landscape next generation blockchain technology. However, writing a correct contract is notoriously difficult. Moreover, once state-changing transaction confirmed by network, result immutable. For this reason, it crucial to perform thorough testing application before its deployment. This paper's focus on test coverage criteria for contracts, which are objective rules that measure quality. We analyze unique...

10.1109/cyberc.2019.00016 article EN 2019-10-01

EOSIO smart contracts are programs that can be collectively executed by a network of mutually untrusted nodes. As manage valuable assets, they become high-value targets and subjected to more attacks. Tools for protecting imperative. This paper proposes EOSIOAnalyzer, an effective static secu-rity analysis framework counter the three most common The consists components, control flow graph builder, analyzer vulnerability detector. implements approach transforming low-level Wasm bytecode into...

10.1109/compsac54236.2022.00124 article EN 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC) 2022-06-01

Millions of smart contracts have been deployed onto the Ethereum platform, posing potential attack subjects. Therefore, analyzing contract binaries is vital since their sources are unavailable, involving identification comprising function entry and detecting its boundaries. Such boundaries critical to many applications, e.g. reverse engineering profiling. Unfortunately, it challenging identify functions from these stripped due lack internal call statements compiler-inducing instruction...

10.1016/j.jss.2023.111627 article EN cc-by-nc-nd Journal of Systems and Software 2023-01-31

Abstract: With the development of electronic vehicles, accurately predicting price vehicles is essential for both consumers and business. Thus, this study aims to explore application machine learning in vehicle prediction, specifically focusing on use linear regression, a widely adopted technique domain. Utilizing comprehensive dataset containing variables such as make, model, year, mileage, research develops predictive model through rigorous data cleaning, feature engineering, tuning...

10.54254/2755-2721/99/20251746 article EN cc-by Applied and Computational Engineering 2024-11-22

The widespread recognition of the smart contracts has established their importance in landscape next generation blockchain technology. However, writing a correct contract is notoriously difficult. Moreover, once state-changing transaction confirmed by network, result immutable. For this reason, it crucial to perform thorough testing application before its deployment. This paper's focus on test coverage criteria for contracts, which are objective rules that measure quality. We analyze unique...

10.48550/arxiv.1911.10471 preprint EN other-oa arXiv (Cornell University) 2019-01-01
Coming Soon ...