检索结果-内蒙古大学图书馆

Block-gram:Mining knowledgeable features for efficiently smart contract vulnerability detection

Digital Communications and networks 2025年第1期11卷 1-12页

作者： Xueshuo Xie Haolong Wang Zhaolong Jian Yaozheng Fang Zichun Wang Tao Li Tianjin Key Laboratory of Network and Data Security Technology TianjinChina College of Computer Science Nankai UniversityTianjinChina Key Laboratory of Blockchain and Cyberspace Governance of Zhejiang Province China State Key Laboratory of Computer Architecture Institute of Computing TechnologyChinese Academy of SciencesChina

Smart contracts are widely used on the blockchain to implement complex transactions,such as decentralized applications on *** vulnerability detection of large-scale smart contracts is critical,as attacks on smart contracts often cause huge economic *** it is difficult to repair and update smart contracts,it is necessary to find the vulnerabilities before they are ***,code analysis,which requires traversal paths,and learning methods,which require many features to be trained,are too time-consuming to detect large-scale on-chain ***-based methods will obtain detection models from a feature space compared to code analysis methods such as symbol *** the existing features lack the interpretability of the detection results and training model,even worse,the large-scale feature space also affects the efficiency of *** paper focuses on improving the detection efficiency by reducing the dimension of the features,combined with expert *** this paper,a feature extraction model Block-gram is proposed to form low-dimensional knowledge-based features from ***,the metadata is separated and the runtime code is converted into a sequence of opcodes,which are divided into segments based on some instructions(jumps,etc.).Then,scalable Block-gram features,including 4-dimensional block features and 8-dimensional attribute features,are mined for the learning-based model ***,feature contributions are calculated from SHAP values to measure the relationship between our features and the results of the detection *** addition,six types of vulnerability labels are made on a dataset containing 33,885 contracts,and these knowledge-based features are evaluated using seven state-of-the-art learning algorithms,which show that the average detection latency speeds up 25×to 650×,compared with the features extracted by N-gram,and also can enhance the interpretability of the detection model.

关键词： Smart contract Bytecode&opcode Knowledgeable features Vulnerability detection Feature contribution

来源：评论

学校读者我要写书评

暂无评论

Outsourcing the Computation of Plaintext Encryption for Homomorphic Encryption 8

Outsourcing the Computation of Plaintext Encryption for Homo...

引用

8th International Conference on computer and Communication Systems, ICCCS 2023

作者： Li, Xuelei Li, Ruyang Bai, Bing Zhao, Yaqian Liu, Guangqing Li, Rengang Electronic Information Industry Co. Ltd Department of Computer Architecture Research Beijing China Intelligent Network Research Institute Zhejiang Lab Hangzhou China Inspur Electronic Information Industry Co. Ltd Department of Computer Architecture Research Jinan China Electronic Information Industry Co. Ltd Department of Technological Innovation Beijing China

ISBN: (纸本)9781665456128

Homomorphic encryption is a promising technology for private enhanced computing. It provides a data-centric privacy-preserving method that allows computing on encrypted data by a third proxy. However, lightweight terminals lack sufficient computing resources to perform a large amount of encryption operations in stream data applications, e.g., smart devices in blockchain network, sensors and cameras in urban intelligent transport. This paper presents a blinded encryption paradigm that outsources most computations to a third proxy, e.g., cloud computing and edge computing. It helps to eliminate the encryption overhead for lightweight terminals while preserving data privacy. The proposed paradigm is composed of plaintext blinding, blinded encryption, ciphertext recovery and one round of communication. Lightweight terminals only execute efficient plaintext blinding and ciphertext recovery to guarantee data privacy. The expensive computing for plaintext encryption is delegated to a third proxy through blinded encryption. In addition, the key analysis to achieve time consuming improvement is to overlap the communication latency with computation time. Furthermore, the security analysis demonstrates the outsourced encryption is secure under the assumption of secure blinding and recovery algorithms. Finally, the experiment shows our method outperforms the original version by 2x improvement from the prospective of resource consumption. © 2023 IEEE.

关键词： Recovery

来源：评论

学校读者我要写书评

暂无评论

Block-gram: Mining Knowledgeable Features for Smart Contract Vulnerability Detection 7th

Block-gram: Mining Knowledgeable Features for Smart Contrac...

引用

7th International Conference on Smart Computing and Communication, SmartCom 2022

作者： Li, Tao Wang, Haolong Fang, Yaozheng Jian, Zhaolong Wang, Zichun Xie, Xueshuo Tianjin Key Laboratory of Network and Data Security Technology Tianjin China College of Computer Science Nankai University Tianjin China Key Laboratory of Blockchain and Cyberspace Governance of Zhejiang Province Hangzhou China State Key Laboratory of Computer Architecture Institute of Computing Technology Chinese Academy of Sciences Beijing China

ISBN: (纸本)9783031281235

Effective vulnerability detection of large-scale smart contracts is critical because smart contract attacks frequently bring about tremendous economic loss. However, code analysis requiring traversal paths and learning methods requiring many features training is too time-consuming to detect large-scale on-chain contracts. This paper focuses on improving detection efficiency by reducing the dimension of the features, combined with expert knowledge. We propose a feature extraction method Block-gram to form low-dimensional knowledgeable features from the bytecode. We first separate the metadata and convert the runtime code to opcode sequence, dividing the opcode sequence into segments according to some instructions (jump, etc.). Then, we mine extensible Block-gram features for learning-based model training, consisting of 4-dimensional block features and 8-dimensional attribute features. We evaluate these knowledge-based features using seven state-of-the-art learning algorithms to show that the average detection latency speeds up 25 to 650 times, compared with the features extracted by N-gram. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Smart contract

来源：评论

学校读者我要写书评

暂无评论

An Auto-Parallel Method for Deep Learning Models Based on Genetic Algorithm 29

An Auto-Parallel Method for Deep Learning Models Based on Ge...

引用

29th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2023

作者： Zeng, Yan Huang, Chengchuang Ni, Yijie Zhou, Chunbao Zhang, Jilin Wang, Jue Zhou, Mingyao Xue, Meiting Zhang, Yunquan Hangzhou Dianzi University School of Computer Science and Technology Hangzhou310018 China Ministry of Education Key Laboratory for Modeling and Simulation of Complex Systems Hangzhou310018 China Data Security Governance Zhejiang Engineering Research Center Hangzhou310018 China Hangzhou Dianzi University School of ITMO Joint Institute Hangzhou310018 China Institute of Computer Network Information Center of the Chinese Academy of Sciences Beijing100086 China HuaWei China Institute of Computing Technology of the Chinese Academy of Sciences State Key Laboratory of Computer Architecture Beijing100086 China

ISBN: (纸本)9798350330717

As the size of datasets and neural network models increases, automatic parallelization methods for models have become a research hotspot in recent years. The existing auto-parallel methods based on machine learning or graph algorithms still have issues with search efficiency and applicability. This paper proposes an automatic parallel method based on a dual-population genetic algorithm, TGA, which transforms model partitioning and placement into an integer linear programming problem and constructs a cost model to evaluate the solution. The solution space is built using the neural network's dataflow graph and device cluster's topology, and the dual-population genetic algorithm is used to search for the optimal model parallel strategy. Experiments with various models show that the proposed method can improve single-step execution time by up to 42% compared to the Baechi method and up to 37.7% compared to the Hierarchical method. © 2023 IEEE.

关键词： Auto-Parallel Distributed machine learning Genetic algorithm Integer linear programming Model parallelism

来源：评论

学校读者我要写书评

暂无评论

Large Scale Model Enabled Semantic Communications Based on Robust Knowledge Distillation

Large Scale Model Enabled Semantic Communications Based on R...

引用

2024 IEEE Global Communications Conference, GLOBECOM 2024

作者： Ding, Kuiyuan Liu, Fangfang Yang, Yang Chen, Mingzhe Guo, Caili Beijing University of Posts and Telecommunications Beijing Key Laboratory of Network System Architecture and Convergence School of Information and Communication Engineering Beijing100876 China University of Miami Department of Electrical and Computer Engineering The Institute for Data Science and Computing Coral GablesFL33146 United States Beijing University of Posts and Telecommunications Beijing Laboratory of Advanced Information Networks School of Information and Communication Engineering Beijing100876 China

ISBN: (纸本)9798350351255

Large scale artificial intelligence (AI) models possess excellent capabilities in semantic representation and understanding, making them particularly well-suited for semantic encoding and decoding. However, the substantial scale of these AI models imposes unacceptable computational resources and communication delays. To address this issue, we propose a semantic communication scheme based on robust knowledge distillation (RKD-SC) for large scale model enabled semantic communications. In the considered system, a transmitter extracts the features of the source image for robust transmission and accurate image classification at the receiver. To effectively utilize the superior capability of large scale model while make the cost affordable, we first transfer knowledge from a large scale model to a smaller scale model to serve as the semantic encoder. Then, to enhance the robustness of the system against channel noise, we propose a channel-aware autoencoder (CAA) based on the Transformer architecture. Experimental results show that the encoder of proposed RKD-SC system can achieve over 93.3% of the performance of a large scale model while compressing 96.67% number of parameters. Code: https://***/echojayne/RKD-SC. © 2024 IEEE.

关键词： Channel coding

来源：评论

学校读者我要写书评

暂无评论

Continual Reinforcement Learning for Digital Twin Synchronization Optimization

引用

IEEE Transactions on Mobile Computing 2025年

作者： Tong, Haonan Chen, Mingzhe Zhao, Jun Hu, Ye Yang, Zhaohui Liu, Yuchen Yin, Changchuan Beijing University of Posts and Telecommunications Beijing Key Laboratory of Network System Architecture and Convergence Beijing Advanced Information Network Laboratory Beijing China College of Computing and Data Science Singapore University of Miami Department of Electrical and Computer Engineering Frost Institute for Data Science and Computing Coral Gables33146 United States University of Miami Department of Industrial and Systems Engineering Coral Gables33146 United States Zhejiang University College of Information Science and Electronic Engineering Hangzhou310027 China North Carolina State University Department of Computer Science RaleighNC27695 United States Beijing Key Laboratory of Network System Architecture and Convergence China Beijing University of Posts and Telecommunications Beijing Advanced Information Network Laboratory Beijing100876 China

This article investigates the adaptive resource allocation scheme for digital twin (DT) synchronization optimization over dynamic wireless networks. In our considered model, a base station (BS) continuously collects factory physical object state data from wireless devices to build a real-time virtual DT system for factory event analysis. Due to continuous data transmission, maintaining DT synchronization must use extensive wireless resources. To address this issue, a subset of devices is selected to transmit their sensing data, and resource block (RB) allocation is optimized. This problem is formulated as a constrained Markov process (CMDP) problem that minimizes the long-term mismatch between the physical and virtual systems. To solve this CMDP, we first transform the problem into a dual problem that refines RB constraint impacts on device scheduling strategies. We then propose a continual reinforcement learning (CRL) algorithm to solve the dual problem. The CRL algorithm learns a stable policy across historical experiences for quick adaptation to dynamics in physical states and network capacity. Simulation results show that the CRL can adapt quickly to network capacity changes and reduce normalized root mean square error (NRMSE) between physical and virtual states by up to 55.2%, using the same RB number as traditional methods. © 2025 IEEE. All rights reserved.

关键词： Markov processes

来源：评论

学校读者我要写书评

暂无评论

Smartphone-based colorimetric detection of formaldehyde in the air

引用

Building Simulation 2024年第11期17卷 2007-2015页

作者： Meng Yang Jin Ye Tao Yu Ying Song Hua Qian Tianyi Liu Yang Chen Junqi Wang Shi-jie Cao Cong Liu School of Energy and Environment Southeast UniversityNanjing210096China School of Energy and Power Jiangsu University of Science and TechnologyZhenjiangJiangsu212100China Wuhan Second Ship Design and Research Institute Wuhan430205China Hubei Provincial Engineering and Technology Research Center for Food Quality and Safety Test Hubei Provincial Institute for Food Supervision and TestWuhan430075China Laboratory of Image Science and Technology the School of Computer Science and EngineeringSoutheast UniversityNanjingChina Jiangsu Provincial Joint International Research Laboratory of Medical Information Processing Southeast UniversityNanjingChina School of Cyber Science and Engineering Southeast UniversityNanjingChina Key Laboratory of Computer Network and Information Integration Southeast UniversityMinistry of EducationNanjingChina School of Architecture Southeast UniversityNanjingChina Jiangsu Province Engineering Research Center of Urban Heat and Pollution Control Southeast UniversityNanjingChina Global Centre for Clean Air Research(GCARE) University of SurreyGuildfordUK

Adverse impacts of exposure to formaldehyde on human health significantly increases attention in monitoring formaldehyde concentrations in the *** formaldehyde detection methods typically rely on large and costly instruments and requires high skills of expertise,preventing it from being widely accessible to *** study introduced a novel approach utilizing smartphone-based colorimetric *** of green channel signals of digital images by a smartphone successfully capture variation of purple color of 4-amino-3-hydrazino-5-mercapto-1,2,4-triazol solution,which is proportional to formaldehyde *** is because that green and purple are complimentary color pairs.A calibration curve was established between green channel signals and formaldehyde concentrations,with a correlation coefficient of *** limit of the smartphone-based method is 0.008 mg/m^(3).Measurement errors decrease as formaldehyde concentrations increase,with median relative errors of 34%,17%,and 6%for concentration ranges of 0–0.06 mg/m^(3),0.06–0.12 mg/m^(3),and 0.12–0.35 mg/m^(3),*** method replaced scientific instrumentation with ordinary items,greatly reducing cost and operation *** would provide an opportunity to realize onsite measurements for formaldehyde by occupants themselves and increase awareness of air quality for better health protection.

关键词： indoor air quality VOC RGB color identification machine vision

来源：评论

学校读者我要写书评

暂无评论

Real-time Vital Signs Monitoring Based on COTS WiFi Devices

Real-time Vital Signs Monitoring Based on COTS WiFi Devices

引用

2021 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2021

作者： Gu, Yu Zhang, Xiang Yan, Huan Liu, Zhi Ji, Yusheng Hefei University of Technology School of Computer and Information Hefei China The University of Electro-Communications Dept. of Computer and Network Engineering Tokyo Japan National Institute of Informatics Information Systems Architecture Science Research Division Tokyo Japan

ISBN: (纸本)9781665401265

Real-time vital signs (breathing and heartbeat) monitoring is essential for patient care and sleep disease prevention. Current solutions are mostly based on wearable sensors or cameras, the former affects the quality of sleep, while the latter is not conducive to privacy protection, and the cost of these methods is usually expensive. In this paper, we propose Wital, a real-time vital signs monitoring system based on the low-cost and widespread COTS WiFi device. Most of the existing WiFi-based vital signs monitoring solutions utilize the line of sight (LOS) WiFi signals to achieve powerful performance. However, in our daily environments, NLOS sensing is more common. In this article, we first model the relationship between the energy ratio of LOS/NLOS signals and the ability to monitor vital signs based on the Ricean-K theory and theoretically prove that blocking LOS signals in NLOS sensing is more beneficial. We have also established a real-time vital signs monitoring system to verify our method, and the experimental results prove the effectiveness of our method. © 2021 IEEE.

关键词： Wi-Fi

来源：评论

学校读者我要写书评

暂无评论

Practice research of the training mode of students' innovative and entrepreneurial talents based on computer courses 16

Practice research of the training mode of students' innovati...

引用

16th IEEE International Conference on computer Science and Education, ICCSE 2021

作者： Zhou, Yi Yu, Zhe Yu, Kang-Bo Wang, He Chen, Ling-Ling Changshu Institute of Technology College of Computer Science and Engineering SuZhou China Harbin Branch of United Network Telecommunications Corporation Harbin China Central China University Technology School of Architecture and Art ChangSha China Changshu Institute of Technology College of Computer Science and Technology SuZhou China

ISBN: (纸本)9781665414685

At present, the innovation and entrepreneurship education system of college students in colleges and universities in our country is faced with the problems of single resources, disconnect from majors and emphasis on theory and practice, which seriously restrict the effect and efficiency of college students' innovation and entrepreneurship education. This paper puts forward the use of service learning in the teaching of computer courses to carry out teaching activities, through the revision of talent training programs and curriculum, optimize innovative entrepreneurship education resources, build innovative entrepreneurship education information platform and other measures to strengthen the management and implementation of innovative entrepreneurship education for college students, improve the effectiveness and efficiency of innovative entrepreneurship education in colleges and universities. © 2021 IEEE.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Safety Guaranteed Power-Delivered-to-Load Maximization for Magnetic Wireless Power Transfer

Safety Guaranteed Power-Delivered-to-Load Maximization for M...

引用

IEEE Annual Joint Conference: INFOCOM, IEEE computer and Communications Societies

作者： Wangqiu Zhou Xinyu Wang Hao Zhou Shenyao Jiang Zhi Liu Yusheng Ji LINKE Lab School of Computer Science and Technology University of Science and Technology of China CAS Key Laboratory of Wireless-Optical Communications University of Science and Technology of China Deqing Alpha Innovation Institute Huzhou China Department of Computer and Network Engineering The University of Electro-Communications Tokyo Japan Information Systems Architecture Science Research Division National Institute of Informatics Tokyo Japan

ISBN: (数字)9798350383508

ISBN: (纸本)9798350383515

Electromagnetic radiation (EMR) safety has always been a critical reason for hindering the development of magneticenabled wireless power transfer technology. People focus on the actual received energy at charging devices while paying attention to their health. Thus, we study this significant problem in this paper, and propose a universal safety guaranteed power-delivered-to-load (PDL) maximization scheme (called SafeGuard). Technically, we first utilize the off-the-shelf electromagnetic simulator to perform the EMR distribution analysis to ensure the universality of the method. Then, we innovatively introduce the concept of multiple importance sampling for achieving efficient EMR safety constraint extraction. Finally, we treat the proposed optimization problem as an optimal boundary point search problem from the perspective of space geometry, and devise a brand-new grid-based multi-constraint parallel processing algorithm to efficiently solve it. We implement a system prototype for SafeGuard, and conduct extensive experiments to evaluate it. The results indicate that our SafeGuard can obviously improve the achieved PDL by up to 1.75× compared with the state-of-the-art baseline while guaranteeing EMR safety. Furthermore, SafeGuard can accelerate the solution process by 29.12× compared with the traditional numerical method to satisfy the fast optimization requirement of wireless charging systems.

关键词： Performance evaluation Monte Carlo methods System performance Inductive charging Prototypes Wireless power transfer Parallel processing

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：