Cover Image

SysFuSS: System-Level Firmware Fuzzing with Selective Symbolic Execution

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Tharindu, Dakshina, Jayasena, Aruna, Mishra, Prabhat
Format:	Preprint
Published:	2026
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Information Leakage through Physical Layer Supply Voltage Coupling Vulnerability
by: Sanjaya, Sahan, et al.
Published: (2024)

SleepWalk: Exploiting Context Switching and Residual Power for Physical Side-Channel Attacks
by: Sanjaya, Sahan, et al.
Published: (2025)

Application-Specific Power Side-Channel Attacks and Countermeasures: A Survey
by: Sanjaya, Sahan, et al.
Published: (2025)

Design for Trust utilizing Rareness Reduction
by: Jayasena, Aruna, et al.
Published: (2023)

TroLL: Exploiting Structural Similarities between Logic Locking and Hardware Trojans
by: Liu, Yuntao, et al.
Published: (2023)

Symbolic Execution in Practice: A Survey of Applications in Vulnerability, Malware, Firmware, and Protocol Analysis
by: Bailey, Joshua, et al.
Published: (2025)

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

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

HIVE: Scalable Hardware-Firmware Co-Verification using Scenario-based Decomposition and Automated Hint Extraction
by: Jayasena, Aruna, et al.
Published: (2023)

ES-FUZZ: Improving the Coverage of Firmware Fuzzing with Stateful and Adaptable MMIO Models
by: Huang, Wei-Lun, et al.
Published: (2024)

Towards a Functionally Complete and Parameterizable TFHE Processor
by: Häusler, Valentin Reyes, et al.
Published: (2025)

DyMA-Fuzz: Dynamic Direct Memory Access Abstraction for Re-hosted Monolithic Firmware Fuzzing
by: Farrelly, Guy, et al.
Published: (2026)

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

Stop Starving or Stuffing Me: Boosting Firmware Fuzzing Efficiency with On-demand Input Delivery
by: Shen, Shandian, et al.
Published: (2026)

Sleep Reveals the Nonce: Breaking ECDSA using Sleep-Based Power Side-Channel Vulnerability
by: Sanjaya, Sahan, et al.
Published: (2026)

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

Topology-aware Detection and Localization of Distributed Denial-of-Service Attacks in Network-on-Chips
by: Weerasena, Hansika, et al.
Published: (2025)

Decentralized Firmware Integrity Verification for Cyber-Physical Systems Using Ethereum Blockchain
by: Hossain, S M Mostaq, et al.
Published: (2026)

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

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

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)

Psyzkaller: Learning from Historical and On-the-Fly Execution Data for Smarter Seed Generation in OS kernel Fuzzing
by: Liu, Boyu, et al.
Published: (2025)

Fuzz on the Beach: Fuzzing Solana Smart Contracts
by: Smolka, Sven, et al.
Published: (2023)

Targeted Fuzzing for Unsafe Rust Code: Leveraging Selective Instrumentation
by: Paaßen, David, et al.
Published: (2025)

An Efficiency Firmware Verification Framework for Public Key Infrastructure with Smart Grid and Energy Storage System
by: Shih, Jhih-Zen, et al.
Published: (2025)

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

SoK: Where to Fuzz? Assessing Target Selection Methods in Directed Fuzzing
by: Weissberg, Felix, et al.
Published: (2025)

EmbedFuzz: High Speed Fuzzing Through Transplantation
by: Hofhammer, Florian, et al.
Published: (2024)

GoldenFuzz: Generative Golden Reference Hardware Fuzzing
by: Wu, Lichao, et al.
Published: (2025)

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

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

CuFuzz: Hardening CUDA Programs through Transformation and Fuzzing
by: Singh, Saurabh, et al.
Published: (2026)

FuzzAgent: Multi-Agent System for Evolutionary Library Fuzzing
by: Lyu, Yunlong, et al.
Published: (2026)

G-Fuzz: A Directed Fuzzing Framework for gVisor
by: Li, Yuwei, et al.
Published: (2024)

ReFuzz: Reusing Tests for Processor Fuzzing with Contextual Bandits
by: Chen, Chen, et al.
Published: (2025)

FuzzSlice: Pruning False Positives in Static Analysis Warnings Through Function-Level Fuzzing
by: Murali, Aniruddhan, et al.
Published: (2024)

Formal Verification of Secure Encrypted Virtualization
by: Weerasena, Hansika, et al.
Published: (2026)

Breaking On-Chip Communication Anonymity using Flow Correlation Attacks
by: Weerasena, Hansika, et al.
Published: (2023)

Revealing CNN Architectures via Side-Channel Analysis in Dataflow-based Inference Accelerators
by: Weerasena, Hansika, et al.
Published: (2023)