中文
相关论文

相关论文: One Step Further: Understanding PLC Binaries Throu…

200 篇论文

Function-level binary code similarity detection is a crucial aspect of cybersecurity. It enables the detection of bugs and patent infringements in released software and plays a pivotal role in preventing supply chain attacks. A practical…

密码学与安全 · 计算机科学 2023-12-27 Sun RuiJin , Guo Shize , Guo Jinhong , Li Wei , Zhan Dazhi , Sun Meng , Pan Zhisong

Binary code analysis allows analyzing binary code without having access to the corresponding source code. A binary, after disassembly, is expressed in an assembly language. This inspires us to approach binary analysis by leveraging ideas…

软件工程 · 计算机科学 2018-12-18 Fei Zuo , Xiaopeng Li , Patrick Young , Lannan Luo , Qiang Zeng , Zhexin Zhang

Multivariate binary data is becoming abundant in current biological research. Logistic principal component analysis (PCA) is one of the commonly used tools to explore the relationships inside a multivariate binary data set by exploiting the…

统计方法学 · 统计学 2020-10-15 Yipeng Song , Johan A. Westerhuis , Age K. Smilde

The identification of vulnerabilities is an important element in the software development life cycle to ensure the security of software. While vulnerability identification based on the source code is a well studied field, the identification…

密码学与安全 · 计算机科学 2022-12-05 Andreas Schaad , Dominik Binder

Deobfuscating binary code remains a fundamental challenge in reverse engineering, as obfuscation is widely used to hinder analysis and conceal program logic. Although large language models (LLMs) have shown promise in recovering semantics…

软件工程 · 计算机科学 2026-04-10 Li Hu , Xiuwei Shang , Jieke Shi , Shaoyin Cheng , Junqi Zhang , Gangyang Li , Zhou Yang , Weiming Zhang , David Lo

Binary code similarity analysis (BCSA) serves as a foundational technique for binary analysis tasks such as vulnerability detection and malware identification. Existing graph based BCSA approaches capture more binary code semantics and…

密码学与安全 · 计算机科学 2025-09-03 Yufeng Wang , Yuhong Feng , Yixuan Cao , Haoran Li , Haiyue Feng , Yifeng Wang

Binary decompilation plays an important role in software security analysis, reverse engineering, and malware understanding when source code is unavailable. However, existing decompilation techniques often fail to produce source code that…

软件工程 · 计算机科学 2026-04-14 Xiaohan Wang , Yuxin Hu , Kevin Leach

Retrieving binary code via natural language queries is a pivotal capability for downstream tasks in the software security domain, such as vulnerability detection and malware analysis. However, it is challenging to identify binary functions…

软件工程 · 计算机科学 2026-01-06 Guoqiang Chen , Lingyun Ying , Ziyang Song , Daguang Liu , Qiang Wang , Zhiqi Wang , Li Hu , Shaoyin Cheng , Weiming Zhang , Nenghai Yu

Large Language Models (LLMs) have achieved remarkable progress in recent years, driving their adoption across a wide range of domains, including computer security. In reverse engineering, LLMs are increasingly applied to critical tasks such…

密码学与安全 · 计算机科学 2026-05-01 Jun Yeon Won , Xin Jin , Shiqing Ma , Zhiqiang Lin

Programmable Logic Controllers (PLCs) are the core control devices in Industrial Control Systems (ICSs), which control and monitor the underlying physical plants such as power grids. PLCs were initially designed to work in a trusted…

密码学与安全 · 计算机科学 2023-01-02 Rongkuan Ma , Qiang Wei , Jingyi Wang , Shunkai Zhu , Shouling Ji , Peng Cheng , Yan Jia , Qingxian Wang

Binary analysis is traditionally used in the realm of malware detection. However, the same technique may be employed by an attacker to analyze the original binaries in order to reverse engineer them and extract exploitable weaknesses. When…

分布式、并行与集群计算 · 计算机科学 2019-12-04 Novak Boskov , Mihailo Isakov , Michel A. Kinsy

Non-binary linear block codes (NB-LBCs) are an important class of error-correcting codes that are especially competent in correcting burst errors. They have broad applications in modern communications and storage systems. However, efficient…

信息论 · 计算机科学 2026-01-21 Jingyu Lin , Li Chen , Xiaoqian Ye

Binary code analysis has immense importance in the research domain of software security. Today, software is very often compiled for various Instruction Set Architectures (ISAs). As a result, cross-architecture binary code analysis has…

软件工程 · 计算机科学 2024-05-01 Iftakhar Ahmad , Lannan Luo

Binary Static Code Analysis (BSCA) is a pivotal area in software vulnerability research, focusing on the precise localization of vulnerabilities within binary executables. Despite advancements in BSCA techniques, there is a notable scarcity…

密码学与安全 · 计算机科学 2025-01-22 Lingfeng Chen

Programmable Logic Controllers (PLCs) provide a prominent choice of implementation platform for safety-critical industrial control systems. Formal verification provides ways of establishing correctness guarantees, which can be quite…

编程语言 · 计算机科学 2019-02-15 Luis Garcia , Stefan Mitsch , Andre Platzer

In industrial control systems, devices such as Programmable Logic Controllers (PLCs) are commonly used to directly interact with sensors and actuators, and perform local automatic control. PLCs run software on two different layers: a)…

密码学与安全 · 计算机科学 2017-02-20 Naman Govil , Anand Agrawal , Nils Ole Tippenhauer

Matching binary to source code and vice versa has various applications in different fields, such as computer security, software engineering, and reverse engineering. Even though there exist methods that try to match source code with binary…

软件工程 · 计算机科学 2023-04-11 Ali TehraniJamsaz , Hanze Chen , Ali Jannesari

Reverse engineering of binary executables is a critical problem in the computer security domain. On the one hand, malicious parties may recover interpretable source codes from the software products to gain commercial advantages. On the…

编程语言 · 计算机科学 2019-07-01 Cheng Fu , Huili Chen , Haolan Liu , Xinyun Chen , Yuandong Tian , Farinaz Koushanfar , Jishen Zhao

Given a binary executable without source code, it is difficult to determine what each function in the binary does by reverse engineering it, and even harder without prior experience and context. In this paper, we performed a comparison of…

密码学与安全 · 计算机科学 2021-12-13 Haoxi Tan

This proposal discusses the growing challenges in reverse engineering modern software binaries, particularly those compiled from newer system programming languages such as Rust, Go, and Mojo. Traditional reverse engineering techniques,…

软件工程 · 计算机科学 2025-06-05 Zhuo Zhuo , Xiangyu Zhang