FirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic
Execution

FirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution

30 August 2017

Grant Hernandez

Kevin R. B. Butler

ArXiv (abs)PDF HTML

Papers citing "FirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution"

13 / 13 papers shown

Title
Empc: Effective Path Prioritization for Symbolic Execution with Path Cover Shuangjie Yao Dongdong She 59 0 0 06 May 2025
SoK: A Security Architect's View of Printed Circuit Board Attacks Jacob Harrison Nathan Jessurun M. Tehranipoor 24 0 0 13 Oct 2024
Corpus Christi: Establishing Replicability when Sharing the Bread is Not Allowed René Helmke Elmar Padilla Nils Aschenbruck 62 0 0 18 Apr 2024
Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics Sören Tempel Tobias Brandt Christoph Lüth Rolf Drechsler Rolf Drechsler 21 1 0 05 Apr 2024
AIM: Automatic Interrupt Modeling for Dynamic Firmware Analysis Bo Feng Mengqing Luo Changming Liu Long Lu E. Kirda 44 8 0 02 Dec 2023
Eunomia: Enabling User-specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries Ningyu He Zhehao Zhao Jikai Wang Yubin Hu Shengjian Guo Haoyu Wang Guangtai Liang Ding Li Xiangqun Chen Yao Guo 87 15 0 14 Apr 2023
NeuDep: Neural Binary Memory Dependence Analysis Kexin Pei Dongdong She Michael Wang Scott Geng Zhou Xuan Yaniv David Junfeng Yang Suman Jana Baishakhi Ray 70 6 0 04 Oct 2022
On the Effectiveness of Binary Emulation in Malware Classification Vasilis Vouvoutsis Fran Casino Constantinos Patsakis 54 9 0 08 Apr 2022
$μ$ AFL: Non-intrusive Feedback-driven Fuzzing for Microcontroller Firmware Wenqiang Li Jiameng Shi Fengjun Li Jingqiang Lin Wei Wang Le Guan 64 45 0 07 Feb 2022
Iota: A Framework for Analyzing System-Level Security of IoTs Zheng Fang Hao Xu Tianbo Gu Pengfei Hu Jinyue Song Trent Jaeger P. Mohapatra 26 10 0 05 Feb 2022
From Library Portability to Para-rehosting: Natively Executing Microcontroller Software on Commodity Hardware Wenqiang Li Le Guan Jingqiang Lin Jiameng Shi Fengjun Li 41 23 0 04 Jul 2021
SoK: All You Ever Wanted to Know About x86/x64 Binary Disassembly But Were Afraid to Ask Chengbin Pang Ruotong Yu Yaohui Chen Eric Koskinen G. Portokalidis Bing Mao Jun Xu 45 78 0 28 Jul 2020
P $^2$ IM: Scalable and Hardware-independent Firmware Testing via Automatic Peripheral Interface Modeling (extended version) Bo Feng Alejandro Mera Long Lu 67 126 0 13 Sep 2019

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.