Graphics Processing Units (GPU) are increasingly deployed on Cyber-physical Systems
(CPSs), frequently used to perform real-time safety-critical functions, such as object …

Computer programs are not executed in isolation, but rather interact with the execution
environment which drives the program behaviors. Software validation methods thus need to …

While TrustZone can isolate IO hardware, it lacks drivers for modern IO devices. Rather than
porting drivers, we propose a novel approach to deriving minimum viable drivers …

On-Device Artificial Intelligence (AI) services such as face recognition, object tracking and
voice recognition are rapidly scaling up deployments on embedded, memory-constrained …

For mobile devices, it is compelling to run sensitive GPU computation within a TrustZone
trusted execution environment (TEE). To minimize GPU software deployed in TEE, the …

Vulnerabilities in device drivers are constantly threatening the security of OS kernels. USB
drivers are particularly concerning due to their widespread use and the wide variety of their …

Our perception of reality is under constant threat from ever-improving video manipulation
techniques, including deep-fakes and generative AI. Therefore, proving authenticity of …

The rapidly evolving Connected and Autonomous Vehicle (CAV) technology brings new
security challenges to vehicular systems, because newly introduced communication and …