Welcome to the Kernel Security and Networking Laboratory (KernelSec)

The KernelSec Lab is located in the Department of Computer Science of the University of Illinois at Chicago. Interest in the KernelSec Lab include Computer Systems Security, Operating Systems, Networking and Distributed Systems. It is home to the following projects:

  • Computer Systems Security
    • Kernel Security Project: We are building a new Operating System Kernel authorization model (also called access control model) using SecurityCards. The goals of this model are to be sufficiently expressive to dramatically reduce the need for applications to explicitly deal with authorizations.
    • Authorization analysis we are investigating the analysis of authorization systems which are based upon authorization properties. These include administrative controls. We have shown that the analysis of such systems to determine what is allowed no matter how the system evolves is decidable. The decidability is particularly important in computer security since the absence of a protection is often not known until a hacker exploits it.
  • Operating systems: we are primarily interested in high performance primitives for interprocess communication.
  • Networks, Distributed Systems: interest here is primarily on the intersection of these areas with computer security.

People

The following people are associated with the Lab:

Faculty:

Current Graduate Students:

Alumni: