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

A Further Understanding of Differential-Linear Cryptanalysis

Chinese Journal of Electronics 2020年第4期29卷 660-666页

作者： REN Jiongjiong CHEN Shaozhen State Key Laboratory of Mathematical Engineering and Advanced Computing State Key Laboratory of Cryptology

Differential-linear cryptanalysis has attracted much attention since proposed to attack DES in 1994, and then some generalized theories are developed to complement and unify the ***, the links between differential-linear cryptanalysis and other important cryptanalysis methods have been still *** motivation is to fix the *** establishing some boolean equations, we propose the mathematical links among differential, linear and differential-linear *** then generalise the definition of capacity and present some properties of the capacity of differential *** links and properties are employed to explore the relationships between multidimensional differential-linear hulls and integral *** show that a multidimensional differential-linear hull of certain correlation always implies the existence of an integral distinguisher and a zero-correlation linear hull, while a special integral distinguisher indicates the existence of a multidimensional differential-linear hull.

关键词： Block cipher Differential cryptanalysis Linear cryptanalysis Differential-linear cryptanalysis Integral distinguisher Zero-correlation

来源：评论

学校读者我要写书评

暂无评论

BContext2Name: Naming Functions in Stripped Binaries with Multi-Label Learning and Neural Networks 10

BContext2Name: Naming Functions in Stripped Binaries with Mu...

引用

10th IEEE International Conference on Cyber Security and Cloud computing and 9th IEEE International Conference on Edge computing and Scalable Cloud, CSCloud-EdgeCom 2023

作者： Xia, Bing Ge, Yunxiang Yang, Ruinan Yin, Jiabin Pang, Jianmin Tang, Chongjun Dept.ZhongYuan University of Technology Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China Dept.ZhongYuan University of Technology Henan Key Laboratory on Public Opinion Intelligent Analysis Zhengzhou China Dept.ZhongYuan University of Technology Zhengzhou China Dept.Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China

ISBN: (纸本)9798350312461

Conducting binary function naming helps reverse engineers understand the internal workings of the code and perform malicious code analysis without accessing the source code. However, the loss of debugging information poses the challenge of insufficient high-level semantic information description for stripping binary code function naming. Meanwhile, the existing binary function naming scheme has one function label for only one sample. The long-tail effect of function labels for a single sample makes the machine learning-based prediction models face the challenge. To obtain a function correlation label and improve the propensity score of uncommon tail labels, we propose a multi-label learning-based binary function naming model BContext2Name. This model automatically generates relevant labels for binary function naming by function context information with the help of PfastreXML model. The experimental results show that BContext2Name can enrich function labels and alleviate the long-tail effect that exists for a single sample class. To obtain high-level semantics of binary functions, we align pseudocode and basic blocks based on disassembly and decompilation, identify concrete or abstract values of API parameters by variable tracking, and construct API-enhanced control flow graphs. Finally, a seq2seq neural network translation model with attention mechanism is constructed between function multi-label learning and enhanced control flow graphs. Experiments on the dataset reveal that the F1 values of the BContext2Name model improve by 3.55% and 15.23% over the state-of-the-art XFL and Nero, respectively. This indicates that function multi-label learning can provide accurate labels for binary functions and can help reverse analysts understand the inner working mechanism of binary code. Code and data for this evaluation are available at https://***/CSecurityZhongYuan/BContext2Name. © 2023 IEEE.

关键词： Graphic methods

来源：评论

学校读者我要写书评

暂无评论

Whole-Function Vectorization Based on Simplified Openmp Directives

SSRN

引用

SSRN 2024年

作者： Liu, Lili Yao, Jinyang Li, Yingying Zhang, Ping Xu, Jinlong Zhao, Bo Shan, Zheng State Key Laboratory of Mathematical Engineering and Advanced Computing Henan Zhengzhou450001 China

With the continuous development of computing technology, an increasing number of vendors have integrated SIMD extension components into processors. These components can accelerate program execution efficiency and have been widely applied in various fields. Past research on SIMD components has primarily focused on loop-level and superword-level, while function-level vectorization can further exploit the parallel potential of these components, thereby enhancing application performance. Currently, OpenMP can achieve function vectorization based on directives. However, this method requires directives to be added to both the loop where the call point is located and the called functions, which is cumbersome and increases the burden on programmers. This paper proposes a directive-based function vectorization method. First, we extend the clauses in OpenMP directives concerning function vectorization data parallelism. Secondly, we implement in the compiler the functionality to automatically add corresponding directives to called functions within functions with the omp simd clone attribute and within OMP_SIMD loops. Finally, we achieve vectorization of loops containing function calls through directives. This method fully exploits the advantages of SIMD instructions, improving application performance. We selected 16 benchmarks from ISPC benchmarks and SIMD library benchmarks to evaluate our method. Experimental results show that compared to scalar, the average speedup reached 4.716x. © 2024, The Authors. All rights reserved.

关键词： Application programming interfaces (API)

来源：评论

学校读者我要写书评

暂无评论

An Abnormal Domain Name Generation Method Based on a Character-Level Model 22

An Abnormal Domain Name Generation Method Based on a Charact...

引用

Proceedings of the 2022 4th International Conference on Robotics, Intelligent Control and Artificial Intelligence

作者： Chunbing Wu Jinlong Fei State Key Laboratory of Mathematical Engineering and Advanced Computing China

ISBN: (纸本)9781450398343

Internet technology develops by leaps and bounds, new types of botnet attacks are springing up. Currently, most malware are stealthy when implementing attacks since they can bypass detection strategies such as blacklists and sinkholes. These malware mainly use DGA to generate many random domain names to prevent C&C server IP addresses from being traced to the source. To resist botnet attacks, machine-learning methods have been proposed for detecting abnormal domain names. However, there are still some inadequacies, e.g., detection methods based on manual feature extraction couldn't identify novel variant DGA domains, and existing neural network detection methods have weak generalization ability and lack training data for new variant DGA domain names. To address the above problems, this paper proposes an abnormal domain name data generation technology based on a character-level model. Firstly, combining specific text generation-related ideas improves the character-level language model. Secondly, the Bi-GRU network model and attention mechanism are used to thoroughly learn the internal correlation features, and simulate the generation of abnormal domain names. The experimental results show that this method's abnormal domain name data is highly similar to the actual domain name in relative entropy and character composition. Furthermore, it verifies the feasibility of the generated data as training data set for a new variant DGA domain name, which to a certain extent, helps to improve the generalization ability of the abnormal domain name detection model.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Automatically Generating High-performance Matrix Multiplication Kernels on the Latest Sunway Processor 22

Automatically Generating High-performance Matrix Multiplicat...

引用

Proceedings of the 51st International Conference on Parallel Processing

作者： Xiaohan Tao Yu Zhu Boyang Wang Jinlong Xu Jianmin Pang Jie Zhao State Key Laboratory of Mathematical Engineering and Advanced Computing China

ISBN: (纸本)9781450397339

We present an approach to the automatic generation of efficient matrix multiplication code on the latest Sunway processor, which will be employed by the next-generation machine of Sunway TaihuLight, one of the fastest supercomputers on earth. The method allows users to write simple C code and automatically generates high-performance matrix multiplication kernels. It uses polyhedral transformations to implement rapid compute decomposition, data exchanges across memory hierarchy and memory latency hiding. An assembly routine is finally integrated into the generated kernels. While achieving up to 90.14% of the theoretical peak performance, our method surpasses a highly tuned library by 9.44%. Compared with existing techniques, our approach reduces the software development life cycle to generate efficient matrix code from months to seconds. We also take into account batched matrix multiplication and some fusion patterns for deep learning (DL), outperforming the library-based implementations by 1.30 × and 1.67 ×.

关键词： high-performance computing basic linear algebra subprograms polyhedral compilation Sunway TaihuLight matrix multiplication

来源：评论

学校读者我要写书评

暂无评论

Searching for similar binary code based on the influence of basic block vertex 3

Searching for similar binary code based on the influence of ...

引用

2021年第三届先进计算机技术、信息科学与通信国际会议(CTISC2021)

作者： Xiaodong Zhu Liehui Jiang Zeng Chen Lin Yan State key laboratory of mathematical engineering and advanced computing

ISBN: (纸本)9781665418683

Binary code similarity detection(BCSD) has many security applications and has attracted a lot of focus. But existing solutions for BCSD problems mainly focus on comparing the similarity between two binary functions and what need to be compared is not always a pair of equal-size binary *** solve the problem of searching similar binary code for a small size program in a large size program, in this manuscript,we propose a searching method based on the influence of basic block vertex. Firstly, we formalize the similar code searching problem as a subgraph matching problem and extract the attributed control flow graphs(ACFGs) of the binary ***, we propose a novel metrics to measure the influence of each basic block vertex in query ACFGs and choose the vertex with the largest influence value as the central node. Next, we take the matching nodes of the central node in target ACFG as seed nodes and extending each candidate sub-area from the seed nodes. At last, these candidate sub-areas are further filtered and similar subgraphs are verified in these *** results indicate that the proposed method can find similar binary code efficiently.

关键词： Measurement Matched filters Information science Binary codes Search problems Security Flow graphs

来源：评论

学校读者我要写书评

暂无评论

Accelerating Command Injection Vulnerability Discovery in Embedded Firmware with Static Backtracking Analysis 22

Accelerating Command Injection Vulnerability Discovery in Em...

引用

Proceedings of the 12th International Conference on the Internet of Things

作者： Xiaokang Yin Ruijie Cai Yizheng Zhang Lukai Li Qichao Yang Shengli Liu State Key Laboratory of Mathematical Engineering and Advanced Computing China

ISBN: (纸本)9781450396653

Command injection vulnerability is a severe threat to the embedded device. Most methods detect command injection vulnerability with taint analysis and symbolic execution and achieve promising results. However, they waste too much time analyzing secure sink call-sites, resulting in less efficient vulnerability detection. To tackle the above problem, we propose a novel sink call-site classification method named CINDY to accelerate the command injection vulnerability discovery in embedded firmware with static backtracking analysis. CINDY first performs sink call-sites detection in the binary executables and constructs the data flow for function call parameters. Then, CINDY analyzes whether the parameters passed to sink functions are derived from constant string or not and labels them “secure" or “risky". According to the labels, CINDY classifies the sink call-sites into risky and secure sink call-sites. Finally, CINDY performs taint analysis with symbolic execution to check whether a risky sink call-site is vulnerable. To demonstrate the efficacy of CINDY, we compare CINDY with the state-of-the-art method SaTC, using the dataset published by SaTC. Compared with SaTC, CINDY can filter out more of the secure sink call-sites, with a 35% decrease, and the efficiency is improved by 17% than SaTC.

关键词： Backtracking Analysis Taint Analysis Command Injection Vulnerability Firmware

来源：评论

学校读者我要写书评

暂无评论

Programmable logic controller memory management vulnerability analysis 3

Programmable logic controller memory management vulnerabilit...

引用

2022 3rd International Conference on Signal Processing and Computer Science, SPCS 2022

作者： Geng, Yangyang Ma, Rongkuan Wei, Qiang Wang, Wenhai State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China State Key Laboratory of Industrial Control Technology Zhejiang University Hangzhou310000 China

Programmable logic controller (PLC) is omnipresent in industrial control system (ICS), which plays an imperative part in critical infrastructures. However, once a PLC is compromised by an attacker, it will create destructive effects on critical infrastructures. The memory systems in PLCs are considered significant targets for attackers to disrupt real-world physical processes. In this paper, we proposed five types of attacks on the PLC memory management mechanism. Furthermore, we evaluated the feasibility of our memory attack generation approach on six PLCs from three leading controller vendors. A total of 22 memory attack payloads are implemented with several vulnerabilities on the target PLCs. © Published under licence by IOP Publishing Ltd.

关键词： Programmable logic controllers

来源：评论

学校读者我要写书评

暂无评论

A Honeywords Generation Method Based on Deep Learning and Rule-Based Password Attack 4th

A Honeywords Generation Method Based on Deep Learning and Ru...

引用

4th EAI International Conference on Security and Privacy in New computing Environments, SPNCE 2021

作者： Yang, Kunyu Hu, Xuexian Zhang, Qihui Wei, Jianghong Liu, Wenfen State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou China Guilin University of Electronic Technology Guilin China

ISBN: (纸本)9783030967901

Honeywords is a simple and efficient method that can help the authentication server to detect password leaks. The indistinguishability between generated honeywords and real passwords is the key to the honeywords generation methods. However, the current honeywords generation methods are difficult to achieve that and are vulnerable to the Top-PW attack. In order to improve the security of the honeywords generation method, this paper combines the deep learning and rule-based password attacks to propose a new honeywords generation method called GHDR. The method first builds a deep learning model to learn whether the rules used in the rule-based password attack are effective for different passwords. When a user sets a password, effective rules will be selected by the model according to the entered password, and then these selected rules will be used to transform the user’s password to generate honeywords. Experimental results show that the proposed honeywords generation method can better resist Top-PW attacks than the state-of-the-art methods. © 2022, ICST Institute for Computer Sciences, Social Informatics and Telecommunications engineering.

关键词： Authentication

来源：评论

学校读者我要写书评

暂无评论

A New Sixth-Order WENO Scheme for Solving Hyperbolic Conservation Laws

引用

Communications on Applied Mathematics and Computation 2023年第1期5卷 3-30页

作者： Kunlei Zhao Yulong Du Li Yuan State Key Laboratory of Scientific and Engineering Computing(LSEC)and Institute of Computational Mathematics and Scientific/Engineering Computing Academy of Mathematics and Systems ScienceChinese Academy of SciencesBeijing 100190China School of Mathematical Sciences University of Chinese Academy of SciencesBeijing 100190China School of Mathematical Sciences Beihang UniversityBeijing 100191China

In this paper,we develop a new sixth-order WENO scheme by adopting a convex combina-tion of a sixth-order global reconstruction and four low-order local *** the classical WENO schemes,the associated linear weights of the new scheme can be any positive numbers with the only requirement that their sum equals ***,a very simple smoothness indicator for the global stencil is *** new scheme can achieve sixth-order accuracy in smooth *** tests in some one-and two-dimensional bench-mark problems show that the new scheme has a little bit higher resolution compared with the recently developed sixth-order WENO-Z6 scheme,and it is more efficient than the classical fifth-order WENO-JS5 scheme and the recently developed sixth-order WENO6-S scheme.

关键词： Global smoothness indicator Linear weights Sixth-order accuracy WENO

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：