Reliable and secure computing systems

Computing is constantly becoming more essential in our lives even as its complexity keeps increasing. Ensuring that computer systems are secure and reliable is therefore crucial. Reliability is a science that ensures the correct functioning of computer systems even as individual hardware and software components may fail. Security considers failures in an adversarial context, where someone is explicitly trying to make a system behave incorrectly.

Research in reliability and security includes modeling and analysis of how various systems can fail and how they can be attacked, the design of monitoring systems that detect and prevent attacks and failures, and verification of correctness of hardware and software, as well as communication protocols.