Suchergebnisse - "binary code"

Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML

Autoren: Tan, Yong Kiam Heule, Marijn J.H. Myreen, Magnus

Quelle: International Journal on Software Tools for Technology Transfer. 25(2):167-184

Schlagwörter: compositional proof checking, linear propagation redundancy, binary code extraction

Dateibeschreibung: electronic

Zugangs-URL: https://research.chalmers.se/publication/534843
https://research.chalmers.se/publication/534843/file/534843_Fulltext.pdf

‘Russian Happiness’. A Mythologeme of Contemporary Art

Autoren: Yakimovich Alexander K.

Quelle: Художественная культура, Iss 3, Pp 70-89 (2025)

Schlagwörter: contemporary artists, сontent analysis, binary code of civilization, ‘humane writing’, Arts in general, NX1-820

Dateibeschreibung: electronic resource

Relation: https://artculturestudies.sias.ru/upload/iblock/84f/ua5jdx6o8khgloum6nrr2e4zokeh5dij/hk_2025_3_37.pdf; https://doaj.org/toc/2226-0072

Zugangs-URL: https://doaj.org/article/e3cd9ae535794d53a7e59c970f024249

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

Autoren: Zhang, Xiuyu Zhu, Shixin

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

Schlagwörter: BCH bound, cyclic code, linear code, Cyclic codes, binary code, Linear codes (general theory)

Dateibeschreibung: application/xml

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

On a Traveling Salesman Problem for Points in the Unit Cube: On a traveling salesman problem for points in the unit cube

Autoren: Balogh, József Clemen, Felix Christian Dumitrescu, Adrian

Quelle: Algorithmica, 86 (9), 3054–3078

Schlagwörter: Computational Geometry (cs.CG), FOS: Computer and information sciences, Discrete Mathematics (cs.DM), 0211 other engineering and technologies, Minimum spanning tree, 0102 computer and information sciences, 02 engineering and technology, minimum spanning tree, binary code, 01 natural sciences, Traveling salesman problem, Binary code, FOS: Mathematics, Mathematics - Combinatorics, ddc:510, traveling salesman problem, Graph theory, Relaxed triangle inequality, relaxed triangle inequality, Computer Science - Computational Geometry, Combinatorics (math.CO), Algorithms in computer science, Mathematics, Computer Science - Discrete Mathematics

Dateibeschreibung: application/xml; application/pdf

Zugangs-URL: http://arxiv.org/abs/2310.02839
https://zbmath.org/7921944
https://doi.org/10.1007/s00453-024-01257-w
https://publikationen.bibliothek.kit.edu/1000172999
https://doi.org/10.5445/IR/1000172999
https://publikationen.bibliothek.kit.edu/1000172999/154249935

Survey of Binary Code Similarity Detection Method

Autoren: WEI Youyuan, SONG Jianhua, ZHANG Yan

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

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

Dateibeschreibung: electronic resource

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

Zugangs-URL: https://doaj.org/article/8b8c251e65da471d85c3a69b76187b8c

Attacking the First-Principle: A Black-Box, Query-Free Targeted Mimicry Attack on Binary Function Classifiers

Autoren: Sauger, Gabriel Marion, Jean-Yves Rahaman, Sazzadur et al.

Weitere Verfasser: Sauger, Gabriel Marion, Jean-Yves Rahaman, Sazzadur et al.

Quelle: https://hal.science/hal-04914773 ; 2026.

Schlagwörter: Black-box Adversarial Attack, Targeted Adversarial Attack, Query- free Adversarial Attack, Supply-Chain Attack, Function Binary Code Similarity, Reverse-Engineering, Machine Learning, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG]

Verfügbarkeit: https://hal.science/hal-04914773
https://hal.science/hal-04914773v2/document
https://hal.science/hal-04914773v2/file/kelpie_with_authors.pdf

On order ideals in orbit codes of finite Abelian groups: Results and impacts: On order ideals in orbit codes of finite abelian groups: results and impacts

Autoren: Sihem Mesnager Rameez Raja

Quelle: Discrete Mathematics. 349:114727

Schlagwörter: automorphism, finite abelian group, poset, automorphism orbit, Ordered sets, group action, Theory of error-correcting codes and error-detecting codes, Enumerative combinatorics, binary code, lattice

Dateibeschreibung: application/xml

Zugangs-URL: https://zbmath.org/8093312
https://doi.org/10.1016/j.disc.2025.114727

Adversarial Attacks Against Binary Similarity Systems

Autoren: Capozzi, Gianluca D'Elia, Daniele Cono Luna, Giuseppe Antonio Di et al.

Quelle: IEEE Access, Vol 12, Pp 161247-161269 (2024)

Schlagwörter: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Cryptography and Security, binary code models, Adversarial attacks, binary similarity, TK1-9971, Machine Learning (cs.LG), greedy, Electrical engineering. Electronics. Nuclear engineering, binary analysis, black-box attacks, Cryptography and Security (cs.CR), Adversarial Attacks, Binary Analysis, Binary Code Models, Binary Similarity, Black-box Attacks, Greedy, White-box Attacks

Dateibeschreibung: application/pdf

Zugangs-URL: http://arxiv.org/abs/2303.11143
https://doaj.org/article/45c012a5175e42cea9e54af0608bbb25
https://hdl.handle.net/11573/1724676
https://doi.org/10.1109/access.2024.3488204

Reachability Analysis of Upper-Stack Manipulating Binary Code ⋆

Autoren: Lin, Shijie Touili, Tayssir Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)) et al.

Weitere Verfasser: Lin, Shijie Touili, Tayssir Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)) et al.

Quelle: Proceedings of the 23rd International Conference on Software Engineering and Formal Methods ; 23rd International Conference on Software Engineering and Formal Methods ; https://hal.science/hal-05288783 ; 23rd International Conference on Software Engineering and Formal Methods, Nov 2025, Tolède, Spain

Schlagwörter: Binary Code Analysis, Finite Automata, Pushdown System with an Upper Stack, Reachability analysis, Reachability analysis Pushdown System with an Upper Stack Finite Automata Binary Code Analysis, [INFO]Computer Science [cs]

Geographisches Schlagwort: Tolède, Spain

Verfügbarkeit: https://hal.science/hal-05288783
https://hal.science/hal-05288783v1/document
https://hal.science/hal-05288783v1/file/Reachability_Analysis_of_Upper_Stack_Manipulating_Binary_Code__camera_.pdf

ARCTURUS : Full Coverage Binary Similarity Analysis with Reachability-guided Emulation

Autoren: Anshunkang Zhou Yikun Hu Xiangzhe Xu et al.

Quelle: ACM Transactions on Software Engineering and Methodology. 33:1-31

Schlagwörter: Binary code similarity, 0202 electrical engineering, electronic engineering, information engineering, Program analysis, Emulation, 02 engineering and technology, Reverse engineering

Scalable Program Clone Search through Spectral Analysis

Autoren: Benoit, Tristan Marion, Jean-Yves Bardin, Sébastien

Weitere Verfasser: Benoit, Tristan Marion, Jean-Yves Bardin, Sébastien

Quelle: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. :808-820

Schlagwörter: FOS: Computer and information sciences, Computer Science - Cryptography and Security, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], 0202 electrical engineering, electronic engineering, information engineering, binary code analysis, 02 engineering and technology, clone search, Cryptography and Security (cs.CR), spectral analysis, [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR]

Dateibeschreibung: application/pdf

Zugangs-URL: http://arxiv.org/abs/2210.13063

Self-Dual Convolutional Codes

Autoren: Heri, Sebastian Lieb, Julia Rosenthal, Joachim et al.

Weitere Verfasser: Heri, Sebastian Lieb, Julia Rosenthal, Joachim et al.

Quelle: IEEE Transactions on Information Theory. 70:950-963

Schlagwörter: FOS: Computer and information sciences, Finite Field, Computer Science - Information Theory, Construction Method, Convolutional codes, 0102 computer and information sciences, 02 engineering and technology, Library and Information Sciences, 1710 Information Systems, Self, Coding Properties, Diagonal Matrix, 01 natural sciences, dual Codes, 510 Mathematics, Construction of Codes Codes, 1706 Computer Science Applications, 0202 electrical engineering, electronic engineering, information engineering, Submodule, Mathematics Convolutional Codes, Hermite Polynomials, Previous Lemma, Vector Space, Hamming Weight, Immediate Consequence, Polynomial Ring, Information Theory (cs.IT), Matrix Inequalities, Generator Matrix, Information Systems Convolutional Codes, Binary Code, Bilinear Form, Hamming weight, Computer Science Applications, Generators, Block codes, Binary Vector, Codecs, Coding Matrix, Parity, 10123 Institute of Mathematics, check Matrix, Classification of Codes, Code Construction, Monic Polynomial, Code Blocks, 3309 Library and Information Sciences, Linear Code, Dual Coding

Dateibeschreibung: 2208.04087.pdf - application/pdf; Self_Dual_Convolutional_Codes.pdf - application/pdf

Zugangs-URL: http://arxiv.org/abs/2208.04087
https://www.zora.uzh.ch/id/eprint/252169/
https://doi.org/10.5167/uzh-252169

The binary codes generated from quadrics in projective spaces

Autoren: Lijun Ma Shuxia Liu Zihong Tian

Quelle: AIMS Mathematics, Vol 9, Iss 10, Pp 29333-29345 (2024)

Schlagwörter: generator matrix, quadric, dimension, conic, QA1-939, binary code, Mathematics

Zugangs-URL: https://doaj.org/article/8c484013b967450b8fbbd0d2ba7f9ace

Sidon sets, sum-free sets and linear codes

Autoren: Czerwinski, Ingo Pott, Alexander

Quelle: Advances in Mathematics of Communications. 18:549-566

Schlagwörter: FOS: Computer and information sciences, maximum size, linear binary code, Computer Science - Information Theory, Information Theory (cs.IT), codes bound, Sidon set, sum-free set, Additive bases, including sumsets, Bounds on codes, FOS: Mathematics, 11B13, 94B05, 94B65, Mathematics - Combinatorics, Combinatorics (math.CO), Linear codes (general theory)

Dateibeschreibung: application/xml

Zugangs-URL: http://arxiv.org/abs/2304.07906
https://zbmath.org/7858377
https://doi.org/10.3934/amc.2023054

VoteSim: Voting-Based Binary Code Similarity Detection for Vulnerability Identification in IoT Firmware

Autoren: Keda Sun Shize Zhou Yuwei Meng et al.

Quelle: Applied Sciences, Vol 15, Iss 18, p 10093 (2025)

Schlagwörter: IoT firmware, vulnerability detection, binary code similarity detection, Technology, Engineering (General). Civil engineering (General), TA1-2040, Biology (General), QH301-705.5, Physics, QC1-999, Chemistry, QD1-999

Dateibeschreibung: electronic resource

Relation: https://www.mdpi.com/2076-3417/15/18/10093; https://doaj.org/toc/2076-3417

Zugangs-URL: https://doaj.org/article/9c69a51ae41d43b685ba992bc5726fd8

APPLICATION OF THE OPERATOR GENETIC ALGORITHM FOR SOLUTION OF DIOPHANTINE EQUATIONS

Quelle: Математичне моделювання; № 2(51) (2024); 41-49

Schlagwörter: фітнес-функція, n-dimensional hypercube, Diophantine equation, стохастичний оператор, binary code, код Грея, involutive operator, інволютивний оператор, stochastic operator, fitness function, n-вимірний гіперкуб, бінарний код, діофантове рівняння, Gray code

Dateibeschreibung: application/pdf

Zugangs-URL: http://matmod.dstu.dp.ua/article/view/317496

Evaluating the Impact of Optimizations for Dynamic Binary Modification on 64-bit RISC-V

Autoren: Kressel, John Alistair Callaghan, Guillermo Gorgovan, Cosmin et al.

Quelle: Kressel, J A, Callaghan, G, Gorgovan, C & Luján, M 2023, Evaluating the Impact of Optimizations for Dynamic Binary Modification on 64-bit RISC-V. in 2023 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS). Proceedings-2023 IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS 2023, IEEE, pp. 81-91. https://doi.org/10.1109/ISPASS57527.2023.00017

Schlagwörter: RISC-V, Dynamic Binary Instrumentation, Binary Code Profiling, Dynamic Binary Modification

Dateibeschreibung: application/pdf

Zugangs-URL: http://www.scopus.com/inward/record.url?scp=85164539620&partnerID=8YFLogxK
https://pure.manchester.ac.uk/ws/files/257071084/MAMBO_RISCV_ISPASS2023_PREPRINT.pdf
https://doi.org/10.1109/ISPASS57527.2023.00017
https://www.mendeley.com/catalogue/71ca2df4-a724-3e7e-8950-400329d94dbd/
https://research.manchester.ac.uk/en/publications/3f71f4aa-6628-440d-93ad-672da2d452d5

Binary Code Representation With Well-Balanced Instruction Normalization

Autoren: Hyungjoon Koo Soyeon Park Daejin Choi et al.

Quelle: IEEE Access, Vol 11, Pp 29183-29198 (2023)

Schlagwörter: Binary code, well-balanced instruction normalization, binary code similarity detection, Electrical engineering. Electronics. Nuclear engineering, code representation, BERT, TK1-9971

Zugangs-URL: https://doaj.org/article/495f09b0a004403fb247f3cc2cb15a59

Cross-Architecture Binary Code Similarity-Detection Method Based on Contextual Information

Autoren: Xingyu Zeng Yujie Yang Qiaoyan Wen et al.

Quelle: Applied Sciences, Vol 15, Iss 17, p 9458 (2025)

Schlagwörter: semantic context, graph attention, structural context, binary code similarity analysis, cross-architecture detection, Technology, Engineering (General). Civil engineering (General), TA1-2040, Biology (General), QH301-705.5, Physics, QC1-999, Chemistry, QD1-999

Dateibeschreibung: electronic resource

Relation: https://www.mdpi.com/2076-3417/15/17/9458; https://doaj.org/toc/2076-3417

Zugangs-URL: https://doaj.org/article/9350f60aa332446d95a260de13ab5cac

Sharp edges led us here

Autoren: Danna Abraham Tarun Abraham

Quelle: Murmurations, Vol 8, Iss 1 (2025)

Schlagwörter: binary code, poetic expression, embracing complexity, systems thinking, Therapeutics. Psychotherapy, RC475-489

Dateibeschreibung: electronic resource

Relation: http://murmurations.cloud/index.php/pub/article/view/276; https://doaj.org/toc/2516-0052

Zugangs-URL: https://doaj.org/article/464e2407f5c64c6da0fbb6c6f445f766