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

Security Analysis of Automated Code Generation: Structural Vulnerabilities in AI-Generated

Autoři: Yoo, Sang Hyun Kim, Hyun Jung

Zdroj: Tehnički glasnik. 19:560-574

Témata: LLM security, OWASP Top 10, software security, memory vulnerabilities, AI-generated code, static-dynamic analysis, binary analysis, encryption vulnerabilities

Popis souboru: application/pdf

Přístupová URL adresa: https://hrcak.srce.hr/335259
https://doi.org/10.31803/tg-20250225095135

On the Lack of Robustness of Binary Function Similarity Systems

Autoři: Gianluca Capozzi Tong Tang Jie Wan a další

Zdroj: 2025 IEEE 10th European Symposium on Security and Privacy (EuroS&P). :980-1001

Témata: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Cryptography and Security, Adversarial machine learning, binary analysis, binary function similarity, Cryptography and Security (cs.CR), Machine Learning (cs.LG)

Přístupová URL adresa: http://arxiv.org/abs/2412.04163
https://hdl.handle.net/11573/1739397

Training Solo: On the Limitations of Domain Isolation Against Spectre-v2 Attacks: On the Limitations of Domain Isolation Against Spectre-v2 Attacks

Autoři: Wiebing, Sander Giuffrida, Cristiano

Zdroj: 2025 IEEE Symposium on Security and Privacy (SP)

Témata: systems security, transient execution, hardware security, side channels, spectre, microarchitectural security, program and binary analysis

Přístupová URL adresa: https://hdl.handle.net/1871.1/ff1d9430-aec4-4a5c-8e2c-372484c32047
https://doi.org/10.1109/SP61157.2025.00253
https://research.vu.nl/en/publications/ff1d9430-aec4-4a5c-8e2c-372484c32047

A Toolchain for Assisting Migration of Software Executables Towards Post-Quantum Cryptography

Autoři: Norrathep Rattanavipanon Jakapan Suaboot Warodom Werapun

Zdroj: IEEE Access, Vol 13, Pp 4368-4380 (2025)

Témata: FOS: Computer and information sciences, software security, Computer Science - Cryptography and Security, Binary analysis, 68-04, post-quantum migration, Electrical engineering. Electronics. Nuclear engineering, Cryptography and Security (cs.CR), post-quantum cryptography, TK1-9971

Přístupová URL adresa: http://arxiv.org/abs/2409.07852
https://doaj.org/article/6fc954845233441989906dc8c389e53f

A tool for IoT Firmware Certification

Autoři: Giuseppe Marco Bianco Luca Ardito Michele Valsesia

Zdroj: Proceedings of the 19th International Conference on Availability, Reliability and Security. :1-7

Témata: Behaviour, Binary analysis, Certification, Detection, ELF file, IoT, IoT devices, IoT Firmware, Rust, Static analysis

Popis souboru: application/pdf

Přístupová URL adresa: https://dl.acm.org/doi/10.1145/3664476.3670469
https://hdl.handle.net/11583/2991671
https://doi.org/10.1145/3664476.3670469

Formal Verification of Software-Defined Network Elements and Machine Code

Autoři: Lundberg, Didrik Guanciale, Roberto, Associate Professor Dam, Mads, Professor a další

Přispěvatelé: Lundberg, Didrik Guanciale, Roberto, Associate Professor Dam, Mads, Professor a další

Zdroj: TRITA-EECS-AVL.

Témata: Formal verification, interactive theorem proving, HOL4, P4, binary analysis, semantics, program logic, symbolic execution, Formell verifiering, interaktiv teorembevisning, binäranalys, semantik, programlogik, symbolisk exekvering, Datalogi, Computer Science

Popis souboru: electronic

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-372675
https://kth.diva-portal.org/smash/get/diva2:2013403/FULLTEXT02.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

BinSAFE: Extending Functions Embeddings to Entire Binaries

Autoři: Gianluca Capozzi Giordano Laurenzi Marco Mormando a další

Témata: binary analysis, neural networks, software security

Popis souboru: application/pdf

Přístupová URL adresa: https://hdl.handle.net/11573/1744930

Exposing the Cracks: A Case Study on the Quality of Public Linux Malware Data Sets

Autoři: Alessandro Sanna Daniele Canavese Leonardo Regano a další

Témata: Malware Analysis, Data Set Quality, Binary Analysis, Linux Malware, Machine Learning, Assembly Mnemonics

Popis souboru: application/pdf

Přístupová URL adresa: https://hdl.handle.net/11584/443966

IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL

Autoři: Griffin, Matt Dongol, Brijesh Raad, Azalea a další

Přispěvatelé: Griffin, Matt Dongol, Brijesh Raad, Azalea a další

Témata: Binary Analysis Platform, Incorrectness Logic, Hoare Logic, ddc:004, Isabelle/HOL

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.14

PS3: Precise Patch Presence Test based on Semantic Symbolic Signature

Autoři: Qi Zhan Xing Hu Zhiyang Li a další

Zdroj: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering. :1-12

Témata: Patch presence test, Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Binary analysis, Software security, Software Engineering

Popis souboru: application/pdf

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

PPT4J: Patch Presence Test for Java Binaries

Autoři: Zhiyuan Pan Xing Hu Xin Xia a další

Zdroj: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering. :1-12

Témata: Patch Presence Test, Software Security, Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Cryptography and Security, Software Engineering, Cryptography and Security (cs.CR), Binary Analysis

Popis souboru: application/pdf

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

DUDE: Decryption, Unpacking, Deobfuscation, and Endian Conversion Framework for Embedded Devices Firmware

Autoři: Abbas, Haider Shahzad, Muhammad Safdar, Maliha a další

Zdroj: IEEE Transactions on Dependable and Secure Computing. 21(4):2917-2929

Témata: Binary analysis, deobfuscation, Encryption, EPROM, filesystem unpacking, Hardware, Internet of Things, Microprogramming, reverse engineering, Sockets, Task analysis

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-350059

Compiler Provenance Recovery for Multi-CPU Architectures Using a Centrifuge Mechanism

Autoři: Yuhei Otsubo Akira Otsuka Mamoru Mimura

Zdroj: IEEE Access, Vol 12, Pp 34477-34488 (2024)

Témata: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Cryptography and Security, 02 engineering and technology, transfer learning, compiler provenance recovery, TK1-9971, Machine Learning (cs.LG), machine learning, Binary analysis, 0202 electrical engineering, electronic engineering, information engineering, Electrical engineering. Electronics. Nuclear engineering, fine-tuning, Cryptography and Security (cs.CR)

Přístupová URL adresa: http://arxiv.org/abs/2211.13110
https://doaj.org/article/4a2e4f2fb9664bb9af04afc1b6dbbce6

ToolPhet: Inference of Compiler Provenance From Stripped Binaries With Emerging Compilation Toolchains

Autoři: Hohyeon Jang Nozima Murodova Hyungjoon Koo

Zdroj: IEEE Access, Vol 12, Pp 12667-12682 (2024)

Témata: Compiler inference, classification model, similarity model, 0202 electrical engineering, electronic engineering, information engineering, Electrical engineering. Electronics. Nuclear engineering, 02 engineering and technology, binary analysis, BERT, TK1-9971

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

Binary Analysis Techniques for the Security Assessment and Reverse Engineering of Bare-Metal Embedded Systems Firmware

Autoři: Tsang, Ryan

Témata: Computer engineering, Computer science, Electrical engineering, Binary Analysis, Embedded Systems, Firmware, Reverse Engineering, Security

Popis souboru: application/pdf

Přístupová URL adresa: https://escholarship.org/uc/item/5zw7j6p2
https://escholarship.org/content/qt5zw7j6p2/qt5zw7j6p2.pdf

Robust Binary Program Debloating

Autoři: DING Duo, SUN Cong, ZHENG Tao

Zdroj: Jisuanji kexue, Vol 51, Iss 10, Pp 208-217 (2024)

Témata: program debloating, binary analysis, fuzzing, binary rewriting, program analysis, 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-2024-51-10-208.pdf; https://doaj.org/toc/1002-137X

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

Toward Bridging the Semantic Gap Between x86-64 Software Binaries and Abstract Languages for Formal Verification and Security

Autoři: Roessle, Ian Henry

Thesis Advisors: Electrical and Computer Engineering, Tront, Joseph G., Adams, Stephen Conway, Beling, Peter A., Gaeddert, Joseph Daniel, Jin, Ming

Témata: x86-64 Assembly, Code Abstraction, Symbolic Execution, Formal Verification, Binary Analysis, Binary Diversity, Moving Target Defense, Cyber Resilience

Popis souboru: ETD; application/pdf; application/vnd.openxmlformats-officedocument.wordprocessingml.document

Dostupnost: https://hdl.handle.net/10919/124175

Deep-learning Based DKOM Attack Detection for Linux System

Autoři: CHEN Liang, SUN Cong

Zdroj: Jisuanji kexue, Vol 51, Iss 9, Pp 383-392 (2024)

Témata: memory forensics, malware detection, operating system security, graph neural network, binary analysis, 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-2024-51-9-383.pdf; https://doaj.org/toc/1002-137X

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

MSSA: multi-stage semantic-aware neural network for binary code similarity detection

Autoři: Bangrui Wan Jianjun Zhou Ying Wang a další

Zdroj: PeerJ Computer Science, Vol 11, p e2504 (2025)

Témata: Binary analysis, Similarity detection, Neural network, Electronic computers. Computer science, QA75.5-76.95

Popis souboru: electronic resource

Relation: https://peerj.com/articles/cs-2504.pdf; https://peerj.com/articles/cs-2504/; https://doaj.org/toc/2376-5992

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