Alejandro Mera

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 10

Top Topics

Formal Verification

Operating System

Symbolic Model Checking

Ibm Zenterprise

Top Venues

USENIX Security Symposium

Publications

Changming Liu, Alejandro Mera, Engin Kirda, Meng Xu, Long Lu
CO3: Concolic Co-execution for Firmware. USENIX Security Symposium (2024)
Alejandro Mera, Changming Liu, Ruimin Sun, Engin Kirda, Long Lu
SHiFT: Semi-hosted Fuzz Testing for Embedded Applications. USENIX Security Symposium (2024)
Alejandro Mera, Yi Hui Chen, Ruimin Sun, Engin Kirda, Long Lu
D-Box: DMA-enabled Compartmentalization for Embedded Applications. NDSS (2022)
Alejandro Mera, Yi Hui Chen, Ruimin Sun, Engin Kirda, Long Lu
D-Box: DMA-enabled Compartmentalization for Embedded Applications. CoRR (2022)
Alejandro Mera, Bo Feng, Long Lu, Engin Kirda
DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis. IEEE Symposium on Security and Privacy (2021)
Ruimin Sun, Alejandro Mera, Long Lu, David R. Choffnes
SoK: Attacks on Industrial Control Logic and Formal Verification-Based Defenses. EuroS&P (2021)
Bo Feng, Alejandro Mera, Long Lu
P2IM: Scalable and Hardware-independent Firmware Testing via Automatic Peripheral Interface Modeling. USENIX Security Symposium (2020)
Ruimin Sun, Alejandro Mera, Long Lu, David R. Choffnes
SoK: Attacks on Industrial Control Logic and Formal Verification-Based Defenses. CoRR (2020)
Alejandro Mera, Bo Feng, Long Lu, Engin Kirda, William K. Robertson
DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis. CoRR (2020)
Bo Feng, Alejandro Mera, Long Lu
IM: Scalable and Hardware-independent Firmware Testing via Automatic Peripheral Interface Modeling (extended version). CoRR (2019)