:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Bailey, Joshua, Nicholas, Charles
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security
Online Access:	https://arxiv.org/abs/2508.06643
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

SysFuSS: System-Level Firmware Fuzzing with Selective Symbolic Execution
by: Tharindu, Dakshina, et al.
Published: (2026)

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery
by: Shafiuzzaman, Md, et al.
Published: (2026)

Protocol-Aware Firmware Rehosting for Effective Fuzzing of Embedded Network Stacks
by: Bley, Moritz, et al.
Published: (2025)

Mens Sana In Corpore Sano: Sound Firmware Corpora for Vulnerability Research
by: Helmke, René, et al.
Published: (2024)

Feature-Centric Approaches to Android Malware Analysis: A Survey
by: Maganur, Shama, et al.
Published: (2025)

Challenges in Drone Firmware Analyses of Drone Firmware and Its Solutions
by: Kim, Yejun, et al.
Published: (2023)

SseRex: Practical Symbolic Execution of Solana Smart Contracts
by: Cloosters, Tobias, et al.
Published: (2026)

Virtual Reality, Real Problems: A Longitudinal Security Analysis of VR Firmware
by: Simhadri, Vamsi Shankar, et al.
Published: (2025)

Explainable Artificial Intelligence (XAI) for Malware Analysis: A Survey of Techniques, Applications, and Open Challenges
by: Manthena, Harikha, et al.
Published: (2024)

A Review on the Security Vulnerabilities of the IoMT against Malware Attacks and DDoS
by: Dzamesi, Lily, et al.
Published: (2025)

MalwarePT: A Binary-Level Foundation Model for Malware Analysis
by: Vasan, Saastha, et al.
Published: (2026)

Catch'em all: Classification of Rare, Prominent, and Novel Malware Families
by: Eren, Maksim E., et al.
Published: (2024)

Bringing Forensic Readiness to Modern Computer Firmware
by: Latzo, Tobias, et al.
Published: (2025)

EvoPatch-IoT: Evolution-Aware Cross-Architecture Vulnerability Retrieval and Patch-State Profiling for BusyBox-Based IoT Firmware
by: Xiao, Yinhao, et al.
Published: (2026)

Malware Analysis on AI Technique
by: Gupta, Amjani, et al.
Published: (2023)

Empowering IoT Firmware Secure Update with Customization Rights
by: Chen, Weihao, et al.
Published: (2025)

FAARM: Firmware Attestation and Authentication Framework for Mali GPUs
by: Hasan, Md. Mehedi
Published: (2025)

Divide and Conquer based Symbolic Vulnerability Detection
by: Scherb, Christopher, et al.
Published: (2024)

Synergistic Directed Execution and LLM-Driven Analysis for Zero-Day AI-Generated Malware Detection
by: Edwards, George, et al.
Published: (2026)

Excavating Vulnerabilities Lurking in Multi-Factor Authentication Protocols: A Systematic Security Analysis
by: Wee, Ang Kok, et al.
Published: (2024)

Vital: Vulnerability-Oriented Symbolic Execution via Type-Unsafe Pointer-Guided Monte Carlo Tree Search
by: Tu, Haoxin, et al.
Published: (2024)

STAFF: Stateful Taint-Assisted Full-system Firmware Fuzzing
by: Izzillo, Alessio, et al.
Published: (2025)

Peacock: UEFI Firmware Runtime Observability Layer for Detection and Response
by: Gorelik, Hadar Cochavi, et al.
Published: (2026)

UEFI Vulnerability Signature Generation using Static and Symbolic Analysis
by: Shafiuzzaman, Md, et al.
Published: (2024)

Empc: Effective Path Prioritization for Symbolic Execution with Path Cover
by: Yao, Shuangjie, et al.
Published: (2025)

An Approach for Safe and Secure Software Protection Supported by Symbolic Execution
by: Dorfmeister, Daniel, et al.
Published: (2026)

A Modular End-to-End Framework for Secure Firmware Updates on Embedded Systems
by: Falas, Solon, et al.
Published: (2020)

Synthetic Embedding of Hidden Information in Industrial Control System Network Protocols for Evaluation of Steganographic Malware
by: Neubert, Tom, et al.
Published: (2024)

Target Attack Backdoor Malware Analysis and Attribution
by: Lai, Anthony Cheuk Tung, et al.
Published: (2025)

An Explainable Memory Forensics Approach for Malware Analysis
by: Sanna, Silvia Lucia, et al.
Published: (2026)

SoK: Leveraging Transformers for Malware Analysis
by: Kunwar, Pradip, et al.
Published: (2024)

A Survey of Malware Detection Using Deep Learning
by: Bensaoud, Ahmed, et al.
Published: (2024)

DeFiTail: DeFi Protocol Inspection through Cross-Contract Execution Analysis
by: Li, Wenkai, et al.
Published: (2024)

Symbolic Parallel Composition for Multi-language Protocol Verification
by: Nasrabadi, Faezeh, et al.
Published: (2025)

FirmRCA: Towards Post-Fuzzing Analysis on ARM Embedded Firmware with Efficient Event-based Fault Localization
by: Chang, Boyu, et al.
Published: (2024)

A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols
by: Lotto, Alessandro, et al.
Published: (2024)

Assessing the Effectiveness of LLMs in Android Application Vulnerability Analysis
by: Kouliaridis, Vasileios, et al.
Published: (2024)

Secure Stateful Aggregation: A Practical Protocol with Applications in Differentially-Private Federated Learning
by: Ball, Marshall, et al.
Published: (2024)

QRS: A Rule-Synthesizing Neuro-Symbolic Triad for Autonomous Vulnerability Discovery
by: Tsigkourakos, George, et al.
Published: (2026)

MASCOT: Analyzing Malware Evolution Through A Well-Curated Source Code Dataset
by: Li, Bojing, et al.
Published: (2025)