DriverJar: Lightweight Device Driver Isolation for ARM. - Huamao Wu; Yuan Chen; Yajin Zhou; Yifei Wang; Lubo Zhang (DAC, 2023)