FTA 2026 – Preliminary Table of Contents

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

Frontmatter

Keynote

Securing UEFI in the Age of AI: The Forgotten Footholds (Keynote)
Vijay Sarvepalli
(Carnegie Mellon University, USA)

Article Search Article: splashws26ftamain-key1-p (type: Keynote) doi:10.1145/3842651.3850024

Research 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

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

Industry and Tools Paper

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

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

Other Papers

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

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

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

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

proc time: 0.01