P2IM: Scalable and Hardware-independent Firmware Testing via Automatic Peripheral Interface Modeling (extended version). - Bo Feng 002; Alejandro Mera; Long Lu (CoRR, 2019)

P2IM: Scalable and Hardware-independent Firmware Testing via Automatic Peripheral Interface Modeling. - Bo Feng 002; Alejandro Mera; Long Lu (USENIX Security Symposium, 2020)

DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis. - Alejandro Mera; Bo Feng 002; Long Lu; Engin Kirda; William K. Robertson (CoRR, 2020)

SoK: Attacks on Industrial Control Logic and Formal Verification-Based Defenses. - Ruimin Sun; Alejandro Mera; Long Lu; David R. Choffnes (EuroS&P, 2021)

DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis. - Alejandro Mera; Bo Feng 002; Long Lu; Engin Kirda (SP, 2021)

D-Box: DMA-enabled Compartmentalization for Embedded Applications. - Alejandro Mera; Yi Hui Chen; Ruimin Sun; Engin Kirda; Long Lu (NDSS, 2022)

CO3: Concolic Co-execution for Firmware. - Changming Liu; Alejandro Mera; Engin Kirda; Meng Xu; Long Lu (USENIX Security Symposium, 2024)

SHiFT: Semi-hosted Fuzz Testing for Embedded Applications. - Alejandro Mera; Changming Liu; Ruimin Sun; Engin Kirda; Long Lu (USENIX Security Symposium, 2024)