Reliable Systems Lab

Location NCS-342
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.

Coordinator Scott Stoller
Lab Web page https://sites.google.com/a/cs.stonybrook.edu/rsl/