Search

Your search keyword '"Chen, Haiyue"' showing total 34 results
Start Over Author "Chen, Haiyue"
34 results on '"Chen, Haiyue"'

11. An ESG-Modified Credit Risk Assessment Model Based on Decision Tree Model

Author

Chen, Haiyue, Appolloni, Andrea, Series Editor, Caracciolo, Francesco, Series Editor, Ding, Zhuoqi, Series Editor, Gogas, Periklis, Series Editor, Huang, Gordon, Series Editor, Nartea, Gilbert, Series Editor, Ngo, Thanh, Series Editor, Striełkowski, Wadim, Series Editor, Jiang, Yushi, editor, Shvets, Yuriy, editor, and Mallick, Hrushikesh, editor

Published
2022
Full Text
View/download PDF

19. SafeCheck: Detecting smart contract vulnerabilities based on static program analysis methods.

Author

Chen, Haiyue, Zhao, Xiangfu, Wang, Yichen, and Zhen, Zixian

Subjects
*COMPUTER software, *CONTRACTS
Abstract

Ethereum smart contracts are a special type of computer programs. Once deployed on the blockchain, they cannot be modified. This presents a significant challenge to the security of smart contracts. Previous research has proposed static and dynamic detection tools to identify vulnerabilities in smart contracts. These tools check contract vulnerabilities based on predefined rules, and the accuracy of detection strongly depends on the design of the rules. However, the constant emergence of new vulnerability types and strategies for vulnerability protection leads to numerous false positives and false negatives by tools. To address this problem, we analyze the characteristics of vulnerabilities in smart contracts and the corresponding protection strategies. We convert the contracts' bytecode into an intermediate representation to extract semantic information of the contracts. Based on this semantic information, we establish a set of detection rules based on semantic facts and implement a vulnerability detection tool SafeCheck using static program analysis methods. The tool is used to detect six common types of vulnerabilities in smart contracts. We have extensively evaluated SafeCheck on real Ethereum smart contracts and compared it to other tools. The experimental results show that SafeCheck performs better in smart contract vulnerability detection compared to other typical tools, with a high F‐measure (up to 83.1%) for its entire dataset. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

32. Preparation of perovskite microfibers by lead bromide self-assembly in aqueous solution assisted methylamine bromide vapor deposition

Author

Bian Weibai, Wei-Long Xu, Jiang Xiaoyan, Lan-Hua Dai, Min Zheng, Chen Haiyue, and Xiong Chao

Subjects
050101 languages & linguistics, business.product_category, Aqueous solution, Photoluminescence, Chemistry, Methylamine, 05 social sciences, General Physics and Astronomy, 02 engineering and technology, Chemical vapor deposition, chemistry.chemical_compound, Chemical engineering, Bromide, Microfiber, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, 0501 psychology and cognitive sciences, Self-assembly, Physical and Theoretical Chemistry, business, Perovskite (structure)
Abstract

One-dimensional perovskites have potential applications in solar cells, lasers, photodetectors and optical waveguides. In this work, lead bromide microfibers which were prepared by self-assembly effect in aqueous solution. Perovskite microfibers were synthesized by using lead bromide microfibers as templates in the vapor atmosphere of methylamine bromide. The perovskite phase of microfibers was verified by the X-ray diffraction and photoluminescence spectrum. The higher trap density at the boundaries compared with the bulk regions of the microfibers, leading to the shorter fluorescence lifetime, which was observed by the combination of spatially and temporally resolved fluorescence measurement.

Published
2019
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results