This paper describes an operating system (OS) called Theseus. Theseus is the result of
multi-year experimentation to redesign and improve OS modularity by reducing the states …

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 …

Researchers have shown that recent CPU extensions support practical, low-overhead driver
isolation to protect kernels from defects and vulnerabilities in device drivers. With …

The OS kernel is an attractive target for remote attackers. If compromised, the kernel gives
adversaries full system access, including the ability to install rootkits, extract sensitive …

Despite Software Defined Network's (SDN) proven benefits, there remains significant
reluctance in adopting it. Among the issues that hamper SDN's adoption two stand out …

The Linux kernel is the backbone of modern society. When a kernel error is discovered, a
quick remediation is needed. Whereas sanitizers greatly facilitate root cause diagnosis …

Most operating systems provide protection and isolation to user processes, but not to critical
system components such as device drivers or other system code. Consequently, failures in …

Safety and resilience are critical for autonomous unmanned aerial vehicles (UAVs). We
introduce MAVFI, the micro aerial vehicles (MAVs) resilience analysis methodology to …

With the trend of processing a large volume of sensitive data on PaaS services (eg, DNN
training), a TEE architecture that supports general heterogeneous accelerators, enables …

Despite software-defined networking's proven benefits, there remains a significant
reluctance in adopting it. Among the issues that hamper SDN's adoption, two issues stand …