Today, systems software is too complex to be bug-free. To find bugs in systems software,
developers often rely on code checkers, like Linux's Sparse. However, the capability of …

This paper describes our experience applying formal methods to a critical component in the
Linux kernel, the just-in-time compilers (" JITs") for the Berkeley Packet Filter (BPF) virtual …

Modern operating systems run multiple interpreters in the kernel, which enable user-space
applications to add new functionality or specialize system policies. The correctness of such …

Modern operating systems allow user-space applications to submit code for kernel
execution through the use of in-kernel domain specific languages (DSLs). Applications use …

There have been many research efforts to secure Android applications and the high-level
system mechanisms. The low-level operating system designs have been overlooked …

Embedded systems are responsible for the security and safety of modern societies,
controlling the correct operation of cars and airplanes, satellites and medical equipment …

(74) Attorney, Agent, or Firm—Rutan & Tucker, LLP (57) ABSTRACT For one embodiment, a
computerized method for detecting exploit attacks on an interpreter comprises configuring a …

Privilege separation (privsep) is an effective technique for improving software's security, but
privsep involves decomposing software into components and assigning them different …

Caching is a common method for improving the performance of modern web applications.
Due to the varying architecture of web applications, and the lack of a standardized approach …

Operating systems are crucial for computer systems reliability. Operating system kernels fail
less frequently than applications, but failures on them cause a severe impact on the entire …