Alejandro Mera

According to our database, Alejandro Mera authored at least 8 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

SHiFT: Semi-hosted Fuzz Testing for Embedded Applications.

Alejandro Mera, Changming Liu, Ruimin Sun, Engin Kirda, Long Lu

Proceedings of the 33rd USENIX Security Symposium, 2024

CO3: Concolic Co-execution for Firmware.

Changming Liu, Alejandro Mera, Engin Kirda, Meng Xu, Long Lu

Proceedings of the 33rd USENIX Security Symposium, 2024

2022

D-Box: DMA-enabled Compartmentalization for Embedded Applications.

Alejandro Mera, Yi Hui Chen, Ruimin Sun, Engin Kirda, Long Lu

Proceedings of the 29th Annual Network and Distributed System Security Symposium, 2022

2021

DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis.

Alejandro Mera, Bo Feng, Long Lu, Engin Kirda

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

SoK: Attacks on Industrial Control Logic and Formal Verification-Based Defenses.

Ruimin Sun, Alejandro Mera, Long Lu, David R. Choffnes

Proceedings of the IEEE European Symposium on Security and Privacy, 2021

2020

DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis.

Alejandro Mera, Bo Feng, Long Lu, Engin Kirda, William K. Robertson

CoRR, 2020

P2IM: Scalable and Hardware-independent Firmware Testing via Automatic Peripheral Interface Modeling.

Bo Feng, Alejandro Mera, Long Lu

Proceedings of the 29th USENIX Security Symposium, 2020

2019

P²IM: Scalable and Hardware-independent Firmware Testing via Automatic Peripheral Interface Modeling (extended version).

Bo Feng, Alejandro Mera, Long Lu

CoRR, 2019