Search Results - Program and binary analysis

D-ARM: Disassembling ARM Binaries by Lightweight Superset Instruction Interpretation and Graph Modeling by Ye, Yapeng, Zhang, Zhuo, Shi, Qingkai, Aafer, Yousra, Zhang, Xiangyu

“…ARM binary analysis has a wide range of applications in ARM system security. A fundamental challenge is ARM disassembly…”
Get full text

DY Fuzzing: Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing by Ammann, Max, Hirschi, Lucca, Kremer, Steve

“…Critical and widely used cryptographic protocols have repeatedly been found to contain flaws in their design and their implementation. A prominent class of…”
Get full text

"Len or index or count, anything but v1": Predicting Variable Names in Decompilation Output with Transfer Learning by Pal, Kuntal Kumar, Bajaj, Ati Priya, Banerjee, Pratyay, Dutcher, Audrey, Nakamura, Mutsumi, Basque, Zion Leonahenahe, Gupta, Himanshu, Sawant, Saurabh Arjun, Anantheswaran, Ujjwala, Shoshitaishvili, Yan, Doupe, Adam, Baral, Chitta, Wang, Ruoyu

“…Binary reverse engineering is an arduous and tedious task performed by skilled and expensive human analysts…”
Get full text

Training Solo: On the Limitations of Domain Isolation Against Spectre-v2 Attacks by Wiebing, Sander, Giuffrida, Cristiano

“…Spectre-v2 vulnerabilities have been increasingly gaining momentum, as they enable particularly powerful cross-domain transient execution attacks. Attackers…”
Get full text

Robust Binary Program Debloating by DING Duo, SUN Cong, ZHENG Tao

“… attacks.Binary program debloating can identify and remove the redundant code based on the binary analysis of the application,so as to reduce the attack…”
Get full text

Research on Intelligent Detection of Command Level Stack Pollution for Binary Program Analysis by Lu, Hui, Jin, Chengjie, Helu, Xiaohan, Zhang, Man, Sun, Yanbin, Han, Yi, Tian, Zhihong

“…How to efficiently and reasonably analyze binary programs has always been the primary issue in the field of software security…”
Get full text

SHFuzz: A hybrid fuzzing method assisted by static analysis for binary programs by Wang, Wenjie, Tian, Donghai, Ma, Rui, Wei, Hang, Ying, Qianjin, Jia, Xiaoqi, Zuo, Lei

“… Based on this observation, we propose a hybrid fuzzing method assisted by static analysis for binary programs…”
Get full text

Machine Learning-Based Analysis of Program Binaries: A Comprehensive Study by Xue, Hongfa, Sun, Shaowen, Venkataramani, Guru, Lan, Tian

“… To meet these challenges, machine learning-based binary code analysis frameworks attract substantial attention due to their automated feature extraction and drastically reduced efforts needed on large-scale programs…”
Get full text

THE MAGELLAN PFS PLANET SEARCH PROGRAM: RADIAL VELOCITY AND STELLAR ABUNDANCE ANALYSES OF THE 360 au, METAL-POOR BINARY “TWINS” HD 133131A & B by Teske, Johanna K., Shectman, Stephen A., Vogt, Steve S., Díaz, Matías, Butler, R. Paul, Crane, Jeffrey D., Thompson, Ian B., Arriagada, Pamela

“…We present a new precision radial velocity (RV) data set that reveals multiple planets orbiting the stars in the ∼360 au, G2+G2 “twin” binary HD 133131AB…”
Get full text

Static Analysis of JNI Programs via Binary Decompilation by Park, Jihee, Lee, Sungho, Hong, Jaemin, Ryu, Sukyoung

“… Unfortunately, such source code analysis is not applicable to compiled JNI programs that are not open-sourced or open-source JNI programs containing third-party binary libraries…”
Get full text

Empirical Study of Software Composition Analysis Tools for C/C++ Binary Programs by Ning, Yuqiao, Zhang, Yanan, Ma, Chao, Guo, Zhen, Yu, Longhai

“… To this end, this paper presents a comprehensive evaluation of software composition analysis techniques for accurately identifying components in C/C++ binary programs…”
Get full text

Bin2vec: learning representations of binary executable programs for security tasks by Arakelyan, Shushan, Arasteh, Sima, Hauser, Christophe, Kline, Erik, Galstyan, Aram

“…Tackling binary program analysis problems has traditionally implied manually defining rules and heuristics, a tedious and time consuming task for human analysts…”
Get full text

Dynamic Program Analysis Enhanced Binary Recompilation by Parzefall, Fabian

“…Users of proprietary and/or legacy programs without vendor support are denied the significant advances in compiler technologies of the past decades…”
Get full text

A program for fractal and multifractal analysis of two-dimensional binary images: Computer algorithms versus mathematical theory by Perrier, Edith, Tarquis, Ana M., Dathe, Annette

“…In this paper we present a tool to carry out the multifractal analysis of binary, two-dimensional images through the calculation of the Rényi D( q…”
Get full text

MIL: A language to build program analysis tools through static binary instrumentation by Charif-Rubial, Andres S., Barthou, Denis, Valensi, Cedric, Shende, Sameer, Malony, Allen, Jalby, William

“… Instrumentation techniques, through the insertion of code directly into binaries, are essential for program analyses used in debugging, runtime profiling, and performance evaluation…”
Get full text

Characterization of runtime resource usage from analysis of binary executable programs by de Souza Pinto, Renê, Botazzo Delbem, Alexandre Claudio, Monaco, Francisco José

“…[Display omitted] •A method is proposed to characterize a computer program's runtime resource usage from the analysis of its binary executable file…”
Get full text

Binary Diffing as a Network Alignment Problem via Belief Propagation by Mengin, Elie, Rossi, Fabrice

“…In this paper, we address the problem of finding a correspondence, or matching, between the functions of two programs in binary form, which is one of the most common task in binary diffing…”
Get full text

Automatically Patching Vulnerabilities of Binary Programs via Code Transfer From Correct Versions by Hu, Yikun, Zhang, Yuanyuan, Gu, Dawu

“…The security of binary programs is significantly threatened by software vulnerabilities…”
Get full text

DeMal: Module decomposition of malware based on community discovery by Huang, Yuyao, Shu, Hui, Kang, Fei

“… While existing static or dynamic analysis techniques can meet the common user needs for malware detection, analysts desire a more detailed overview to uncover the program architecture…”
Get full text

Timing Analysis of Binary Programs with UPPAAL by Cassez, Franck, Bechennec, Jean-Luc

“…We address the problem of computing accurate Worst-Case Execution Time (WCET). We propose a fully automatic and modular methodology based on program slicing and real-time model-checking…”
Get full text