FTA 2026 – Preliminary Table of Contents

1st International Workshop on Firmware Testing and Analysis (FTA 2026)

Frontmatter

1st International Workshop on Firmware Testing and Analysis (FTA 2026) Papers

Verification of Protocol Compliance by Symbolic Execution
Xing-Hua Peng and Pai H. Chou
(National Tsing Hua University, Hsinchu, Taiwan)

Article Search Article: splashws26ftamain-p20-p (type: Full Paper (10 pages, including refs)) doi:10.1145/3842651.3843180

Firmware-Specific Security Guidelines
Tim Lewis
(Insyde Software, USA)

Article Search Article: splashws26ftamain-p44-p (type: Extended Abstract (2 pages, including refs)) doi:10.1145/3842651.3843182

IAIA: Interrupt-Aware Index Analysis for SSD Firmware
Hyeongseo Yoo and Kwangkeun Yi
(Seoul National University, Republic of Korea; Samsung Electronics, Republic of Korea)

Article Search Article: splashws26ftamain-p50-p (type: Full Paper (10 pages, including refs)) doi:10.1145/3842651.3843183

Meeting NSA’s “Guidance for Managing UEFI Secure Boot”
Kevin Davis
(Insyde Software, USA)

Article Search Article: splashws26ftamain-p52-p (type: Extended Abstract (2 pages, including refs)) doi:10.1145/3842651.3843184

From Silicon to Boot Code: Extending Automated Program Repair to Firmware-Layer Security Workarounds
Maisha Mastora and Dean Sullivan
(University of New Hampshire, USA)

Article Search Article: splashws26ftamain-p56-p (type: Full Paper (NIER: 8 pages, including refs)) doi:10.1145/3842651.3843185

Tooling for Repeatable Generation of SBOMs for EDK2-Based Firmware
Alvin Chen, Daniel Chang, and Tim Lewis
(Insyde Software, USA)

Article Search Article: splashws26ftamain-p96-p (type: Full Paper (Industry-Experience Report: 8 pages, including refs)) doi:10.1145/3842651.3843188

1st International Workshop on Firmware Testing and Analysis (FTA 2026)

proc time: 0.01