research
∙
01/13/2022
D-Box: DMA-enabled Compartmentalization for Embedded Applications
Embedded and Internet-of-Things (IoT) devices have seen an increase in a...
share
research
∙
07/03/2020
DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis
Microcontroller-based embedded devices are at the core of Internet-of-Th...
research
∙
06/09/2020
SoK: Attacks on Industrial Control Logic and Formal Verification-Based Defenses
Control logic programs play a critical role in industrial control system...
research
∙
09/13/2019