Today's cloud DRAM lacks strong isolation primitives, highlighted by Rowhammer bit flips.
Rowhammer poses an increasing threat to cloud security/reliability, given (1) DRAM …

Interrupts are critical hardware resources for OS kernels to schedule processes. As they are
related to system activities, interrupts can be used to mount various side-channel attacks (ie …

Autonomous multicopters often feature federated architectures, which incur relatively high
communication costs between separate hardware components. These costs limit the ability …

Autonomous multicopters often feature federated architectures, which incur relatively high
communication costs between separate hardware components. These costs limit the ability …

Cloud providers must isolate each execution context—eg, a virtual machine (VM)—atop
shared hardware. Unfortunately, commodity hardware only strongly enforces context …

The story of this Ph. D. project starts with that of my Master's thesis, in which I explored the
potential of functional programming in various cloud environments. The main conclusion of …