Alejandro Mera

11 papers A* 6A 1Journal 4
YearRankTypeTitle / Venue / Authors
2025 A* conf
DRIFT: Debug-based Trace Inference for Firmware Testing.
ASE
Changming Liu, Alejandro Mera, Meng Xu, Engin Kirda
2024 A* conf
CO3: Concolic Co-execution for Firmware.
USENIX Security Symposium
Changming Liu, Alejandro Mera, Engin Kirda, Meng Xu, Long Lu
2024 A* conf
SHiFT: Semi-hosted Fuzz Testing for Embedded Applications.
USENIX Security Symposium
Alejandro Mera, Changming Liu, Ruimin Sun, Engin Kirda, Long Lu
2022 A* conf
D-Box: DMA-enabled Compartmentalization for Embedded Applications.
NDSS
Alejandro Mera, Yi Hui Chen, Ruimin Sun, Engin Kirda, Long Lu
2022 J jnl
D-Box: DMA-enabled Compartmentalization for Embedded Applications.
CoRR
Alejandro Mera, Yi Hui Chen, Ruimin Sun, Engin Kirda, Long Lu
2021 A* conf
DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis.
SP
Alejandro Mera, Bo Feng, Long Lu, Engin Kirda
2021 A conf
SoK: Attacks on Industrial Control Logic and Formal Verification-Based Defenses.
EuroS&P
Ruimin Sun, Alejandro Mera, Long Lu, David R. Choffnes
2020 J jnl
DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis.
CoRR
Alejandro Mera, Bo Feng, Long Lu, Engin Kirda, William K. Robertson
2020 A* conf
P2IM: Scalable and Hardware-independent Firmware Testing via Automatic Peripheral Interface Modeling.
USENIX Security Symposium
Bo Feng, Alejandro Mera, Long Lu
2020 J jnl
SoK: Attacks on Industrial Control Logic and Formal Verification-Based Defenses.
CoRR
Ruimin Sun, Alejandro Mera, Long Lu, David R. Choffnes
2019 J jnl
P
CoRR
Bo Feng, Alejandro Mera, Long Lu