Work

FirmWall: Directed Symbolic Execution of Firmware Binaries for Defending Against Unauthorized System Calls

Year: 2025

Type: article

Source: IEEE Transactions on Information Forensics and Security

DOI: 10.1109/tifs.2025.3583244

Authors: Aruna Jayasena, Prabhat Mishra

Institution: University of Florida

Language: English

Topic: Security and Verification in Computing

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Semiconductor Research Corporation

Award: G4659214213

OpenAlex ID: W4411640486

FWCI: 2.909

Cites: 28

Cited by: 7

Related to: 10