Search Results - binary code

Malware Analysis: A Perspective from Dynamic Symbolic Execution of Binary Code

Authors: Mizuhito Ogawa

Source: Journal of Science and Technology on Information security. :3-18

Toward Inferring Structural Semantics from Binary Code Using Graph Neural Networks

Authors: Noriki Sakamoto Kazuhiro Takeuchi

Source: Proceedings of the 2025 Workshop on Software Understanding and Reverse Engineering. :102-113

About Methods for Extracting Algorithms from Binary Code.

Authors: Kulagin, I. I. Padaryan, V. A. Koshkin, V. A.

Source: Programming & Computer Software. Dec2025, Vol. 51 Issue 6, p415-428. 14p.

Subject Terms: *BINARY codes, *ALGORITHMS, *ABSTRACTION (Computer science), *DATA flow computing, *SOFTWARE development tools

Computation of topological descriptors and energy for graph-based binary codes

Authors: Raja, Rameez Wagay, Samir Ahmad

Source: Advances in Mathematics of Communications. 19:1119-1136

Subject Terms: zero-divisor graph, Graphical indices (Wiener index, Zagreb index, Randić index, etc.), General commutative ring theory and combinatorics (zero-divisor graphs, annihilating-ideal graphs, etc.), Graphs and linear algebra (matrices, eigenvalues, etc.), binary generating code, topological indices, threshold graph, Graphs and abstract algebra (groups, rings, fields, etc.), energy

File Description: application/xml

Access URL: https://zbmath.org/8017620
https://doi.org/10.3934/amc.2024045

BinBert: Binary Code Understanding With a Fine-Tunable and Execution-Aware Transformer

Authors: Fiorella Artuso Marco Mormando Giuseppe Antonio Di Luna et al.

Source: IEEE Transactions on Dependable and Secure Computing. 22:308-326

Subject Terms: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Cryptography and Security, 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Assembly, Task analysis, Vectors, Transformers, Semantics, Binary codes, Benchmark testing, 01 natural sciences, Cryptography and Security (cs.CR), 0105 earth and related environmental sciences, Machine Learning (cs.LG)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2208.06692

MiSum: Multi-modality Heterogeneous Code Graph Learning for Multi-intent Binary Code Summarization

Authors: Kangchen Zhu Zhiliang Tian Shangwen Wang et al.

Source: Proceedings of the ACM on Software Engineering. 2:1339-1362

Several infinite families of binary cyclic codes with square-root-like lower bounds

Authors: Zhang, Xiuyu Zhu, Shixin

Source: Advances in Mathematics of Communications. 19:1260-1276

Subject Terms: BCH bound, cyclic code, linear code, Cyclic codes, binary code, Linear codes (general theory)

File Description: application/xml

Access URL: https://zbmath.org/8043551
https://doi.org/10.3934/amc.2024053

BinQuery: A Novel Framework for Natural Language-Based Binary Code Retrieval

Authors: Bolun Zhang Zeyu Gao Hao Wang et al.

Source: Proceedings of the ACM on Software Engineering. 2:1167-1189

GraphConvDeep: A Deep Learning Approach for Enhancing Binary Code Similarity Detection using Graph Embeddings

Authors: Nandish M. Jalesh Kumar Mohan H. G. et al.

Source: International Journal of Computer Network and Information Security. 17:72-88

KEENHash: Hashing Programs into Function-Aware Embeddings for Large-Scale Binary Code Similarity Analysis

Authors: Zhijie Liu Qiyi Tang Sen Nie et al.

Source: Proceedings of the ACM on Software Engineering. 2:801-824

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Cryptography and Security, Software Engineering, Cryptography and Security (cs.CR)

Access URL: http://arxiv.org/abs/2506.11612

Enhancing Binary Code Similarity Analysis for Software Updates: A Contextual Diffing Framework

Authors: August See Moritz Mönnich Mathias Fischer

Source: Proceedings of the 20th ACM Asia Conference on Computer and Communications Security. :1724-1740

Construction of a Linear Binary Code with Maximum Coding Rate

Authors: Artyom S. Adszhemov Ildar I. Basyrov

Source: 2025 Systems of Signal Synchronization, Generating and Processing in Telecommunications (SYNCHROINFO). :1-5

Survey of Binary Code Similarity Detection Method

Authors: WEI Youyuan, SONG Jianhua, ZHANG Yan

Source: Jisuanji kexue, Vol 52, Iss 6, Pp 365-380 (2025)

Subject Terms: binary code similarity detection, code representation, software security, malicious code identification, vulnerability search, Computer software, QA76.75-76.765, Technology (General), T1-995

File Description: electronic resource

Relation: https://www.jsjkx.com/fileup/1002-137X/PDF/1002-137X-2025-52-6-365.pdf; https://doaj.org/toc/1002-137X

Access URL: https://doaj.org/article/8b8c251e65da471d85c3a69b76187b8c

Digital Decoder from 16-Bit Binary Code to 7-Segment Quad LED Display

Authors: Mircea-Petru Ursu Ovidiu-Constantin Novac Cornelia-Mihaela Novac

Source: 2025 17th International Conference on Electronics, Computers and Artificial Intelligence (ECAI). :1-4

BASSET: Enhancing Binary Code Clone Searching through Multi-Level Hybrid Semantic Indexing

Authors: Yong Zhao Ang Xia Jie Yin et al.

Source: 2025 55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). :47-60

DBC: Drift-aware Binary Code for Drift-tolerant Deep Neural Networks

Authors: Insu Choi Jaeyong Chung Joon-Sung Yang

Source: 2025 62nd ACM/IEEE Design Automation Conference (DAC). :1-7

Engineered Bacteria Convert a 3-Bit Binary Code to a 3-Bit Gray Code by Multicellular Artificial-Neural-Network-Type Architecture

Authors: Saswata Chakraborty Sangram Bagh

Source: ACS Synthetic Biology. 14:3348-3355

Access URL: https://pubmed.ncbi.nlm.nih.gov/40333022

Removal of vulnerabilities in binary code by program model checking and concolic execution

Authors: Ferreirinha, Luís Pedro Félix Medeiros, Ibéria Vitória de Sousa Repositório Científico de Acesso Aberto da ULisboa

Contributors: Ferreirinha, Luís Pedro Félix Medeiros, Ibéria Vitória de Sousa Repositório Científico de Acesso Aberto da ULisboa

Source: urn:tid:203741420

Subject Terms: Verificação de Modelos, Vulnerabilidades de Overflow na Pilha, Código Binário, Execução Concólica, Análise Estática, Teses de mestrado - 2024

File Description: application/pdf

Availability: http://hdl.handle.net/10400.5/95544

Accurate and Extensible Symbolic Execution of Binary Code Based on Formal ISA Semantics

Authors: Tempel, Sören Brandt, Tobias Lüth, Christoph et al.

Source: 2025 Design, Automation & Test in Europe Conference (DATE). :1-7

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Cryptography and Security, Computer Science - Programming Languages, Cryptography and Security (cs.CR), Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2404.04132

Can Neural Decompilation Assist Vulnerability Prediction on Binary Code?

Authors: Domenico Cotroneo Francesco C. Grasso Roberto Natella et al.

Source: Proceedings of the 18th European Workshop on Systems Security. :26-32

Subject Terms: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Cryptography and Security, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Cryptography and Security (cs.CR), Machine Learning (cs.LG)

Access URL: http://arxiv.org/abs/2412.07538