Traditional CPUs and cloud systems based on them have embraced the hardware-based
trusted execution environments to securely isolate computation from malicious OS or …

Kernel-mode drivers are challenging to analyze for vulnerabilities, yet play a critical role in
maintaining the security of OS kernels. Their wide attack surface, exposed via both the …

This paper presents a study of Linux API usage across all applications and libraries in the
Ubuntu Linux 15.04 distribution. We propose metrics for reasoning about the importance of …

This handbook offers a comprehensive overview of cloud computing security technology
and implementation while exploring practical solutions to a wide range of cloud computing …

Emerging mobile apps such as UHD video and AR/VR access diverse high-throughput
hardware devices, eg, video codecs, cameras, and image processors. However, today's …

To be trustworthy, security-sensitive applications must be formally verified and hence small
and simple, ie, wimpy. Thus, they cannot include a variety of basic services available only in …

Omitting resource-release operations in systems error handling code can lead to memory
leaks, crashes, and deadlocks. Finding omission faults is challenging due to the difficulty of …

Linux drivers share the same address space and privilege with the core of the kernel but
have a much larger code base and attack surface. The Linux drivers are not well tested and …

Smartphones can now connect to a variety of external sensors over wired and wireless
channels. However, ensuring proper device interaction can be burdensome, especially …

Device drivers are security-critical. In monolithic kernels like Linux, there are hundreds of
thousands of drivers which run in the same privilege as the core kernel. Consequently, a …