Reliable Systems Lab

Location NCS-234
Mission Develop improved methods for construction of correct, reliable, and secure computer systems.
Details

Research in the Reliable System Lab spans a variety of topics, including: computer security, especially analysis, learning, and enforcement of security policies, and software diversity for security; specification and verification of software, especially software for distributed systems; program analysis and optimization, especially optimizations based on incremental computation; and runtime monitoring, especially runtime assurance for embedded systems.

Director(s) Scott Stoller
Lab Web page Reliable Systems Lab