Center for the Science & Engineering of Cyber Security (CSECS)
The objective of the center is to study principles of Cyber Security, how to measure,
assess, and enforce security in legacy systems, and how to build new systems that
are secured. The science of Cyber Security is addressed by exploiting formal techniques
that are theoretically grounded to express, model, and reason about security accurately.
The engineering of cyber security utilizes empirical techniques that aim to create
holistic and systematic approaches to development of automated tools for cyber security
system analysis. The center also examines cyber security issues facing the general
public, such as security in business enterprises, health care, and national infrastructures.
If you would like to see more information on our research or other areas of this group,
please use the navigation bar above.