Výsledky vyhledávání - "binary code"

Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML

Autoři: Tan, Yong Kiam Heule, Marijn J.H. Myreen, Magnus

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

Témata: compositional proof checking, linear propagation redundancy, binary code extraction

Popis souboru: electronic

Přístupová URL adresa: https://research.chalmers.se/publication/534843
https://research.chalmers.se/publication/534843/file/534843_Fulltext.pdf

‘Russian Happiness’. A Mythologeme of Contemporary Art

Autoři: Yakimovich Alexander K.

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

Témata: contemporary artists, сontent analysis, binary code of civilization, ‘humane writing’, Arts in general, NX1-820

Popis souboru: electronic resource

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

Přístupová URL adresa: https://doaj.org/article/e3cd9ae535794d53a7e59c970f024249

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

Autoři: Zhang, Xiuyu Zhu, Shixin

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

Témata: BCH bound, cyclic code, linear code, Cyclic codes, binary code, Linear codes (general theory)

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/8043551
https://doi.org/10.3934/amc.2024053

Survey of Binary Code Similarity Detection Method

Autoři: WEI Youyuan, SONG Jianhua, ZHANG Yan

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

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

Popis souboru: electronic resource

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

Přístupová URL adresa: https://doaj.org/article/8b8c251e65da471d85c3a69b76187b8c

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

Autoři: Sauger, Gabriel Marion, Jean-Yves Rahaman, Sazzadur a další

Přispěvatelé: Sauger, Gabriel Marion, Jean-Yves Rahaman, Sazzadur a další

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

Témata: 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]

Dostupnost: https://hal.science/hal-04914773
https://hal.science/hal-04914773v2/document
https://hal.science/hal-04914773v2/file/kelpie_with_authors.pdf

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

Autoři: Balogh, József Clemen, Felix Christian Dumitrescu, Adrian

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

Témata: 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

Popis souboru: application/xml; application/pdf

Přístupová URL adresa: 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

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

Autoři: Sihem Mesnager Rameez Raja

Zdroj: Discrete Mathematics. 349:114727

Témata: 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

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/8093312
https://doi.org/10.1016/j.disc.2025.114727

Reachability Analysis of Upper-Stack Manipulating Binary Code ⋆

Autoři: Lin, Shijie Touili, Tayssir Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)) a další

Přispěvatelé: Lin, Shijie Touili, Tayssir Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)) a další

Zdroj: 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

Témata: 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]

Geografické téma: Tolède, Spain

Dostupnost: 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

Adversarial Attacks Against Binary Similarity Systems

Autoři: Capozzi, Gianluca D'Elia, Daniele Cono Luna, Giuseppe Antonio Di a další

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

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: 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

Optimal Alphabets and Binary Labelings for BICM at Low SNR

Autoři: Agrell, Erik Alvarado, Alex

Zdroj: IEEE Transactions on Information Theory. 57(10):6650-6672

Témata: bit-interleaved coded modulation, natural binary code, Hadamard transform, Gray code, quadrature amplitude modulation (QAM), Average mutual information, channel capacity, pulse amplitude modulation (PAM), phase shift keying (PSK), binary labeling, Shannon limit, folded binary code

Popis souboru: electronic

Přístupová URL adresa: https://research.chalmers.se/publication/143169
http://publications.lib.chalmers.se/records/fulltext/local_143169.pdf

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

Autoři: Anshunkang Zhou Yikun Hu Xiangzhe Xu a další

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

Témata: 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

Autoři: Benoit, Tristan Marion, Jean-Yves Bardin, Sébastien

Přispěvatelé: Benoit, Tristan Marion, Jean-Yves Bardin, Sébastien

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

Témata: 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]

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2210.13063

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

Autoři: Keda Sun Shize Zhou Yuwei Meng a další

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

Témata: 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

Popis souboru: electronic resource

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

Přístupová URL adresa: https://doaj.org/article/9c69a51ae41d43b685ba992bc5726fd8

Self-Dual Convolutional Codes

Autoři: Heri, Sebastian Lieb, Julia Rosenthal, Joachim a další

Přispěvatelé: Heri, Sebastian Lieb, Julia Rosenthal, Joachim a další

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

Témata: 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

Popis souboru: 2208.04087.pdf - application/pdf; Self_Dual_Convolutional_Codes.pdf - application/pdf

Přístupová URL adresa: 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

Autoři: Lijun Ma Shuxia Liu Zihong Tian

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

Témata: generator matrix, quadric, dimension, conic, QA1-939, binary code, Mathematics

Přístupová URL adresa: https://doaj.org/article/8c484013b967450b8fbbd0d2ba7f9ace

Sidon sets, sum-free sets and linear codes

Autoři: Czerwinski, Ingo Pott, Alexander

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

Témata: 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)

Popis souboru: application/xml

Přístupová URL adresa: http://arxiv.org/abs/2304.07906
https://zbmath.org/7858377
https://doi.org/10.3934/amc.2023054

APPLICATION OF THE OPERATOR GENETIC ALGORITHM FOR SOLUTION OF DIOPHANTINE EQUATIONS

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

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

Popis souboru: application/pdf

Přístupová URL adresa: http://matmod.dstu.dp.ua/article/view/317496

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

Autoři: Kressel, John Alistair Callaghan, Guillermo Gorgovan, Cosmin a další

Zdroj: 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

Témata: RISC-V, Dynamic Binary Instrumentation, Binary Code Profiling, Dynamic Binary Modification

Popis souboru: application/pdf

Přístupová URL adresa: 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

cake_lpr: Verified Propagation Redundancy Checking in CakeML

Autoři: Tan, Yong Kiam Heule, Marijn J. H. Myreen, Magnus

Zdroj: Tools and Algorithms for the Construction and Analysis of Systems, TACAS, Luxembourg City, Luxembourg Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 12652 LNCS:223-241

Témata: linear propagation redundancy, binary code extraction

Popis souboru: electronic

Přístupová URL adresa: https://research.chalmers.se/publication/527500
https://research.chalmers.se/publication/531575
https://research.chalmers.se/publication/531575/file/531575_Fulltext.pdf

The IEEE Std. 1658-2023 for Terminology and Test Methods of Digital-to-Analog Converters [Fundamentals of Measurement]

Autoři: Crovetti, Paolo Dallet, Dominique De Vito, Luca a další

Přispěvatelé: Crovetti, Paolo Dallet, Dominique De Vito, Luca a další

Témata: Digital-analog conversion, Electronic component, Binary code, Logic gate, Digital communication, Digital information, Terminology

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:001502544900009; volume:28; issue:4; firstpage:7; lastpage:12; numberofpages:6; journal:IEEE INSTRUMENTATION & MEASUREMENT MAGAZINE; https://hdl.handle.net/11566/349733

Dostupnost: https://hdl.handle.net/11566/349733
https://doi.org/10.1109/mim.2025.11021346