Is an organization dedicated to research in advanced methods of security applied within the realm of critical cyber and cyber-physical infrastructures. The focus is on the use of rigorous mathematics through formal methods to create and analyzer fault-tolerant and secure real-time distributed computing systems applied to critical infrastructure protection. The laboratory supports undergraduate, graduate, and faculty researchers.  Students in the laboratory participate in the campus Center for Academic Excellence in Information Assurance and Research, the Intelligent Systems Center, and the Energy Research and Development Center.

Current Lab Faculty Researchers

Current Projects:

  • Information Flow Security for Critical Infrastructure Systems
  • Next Generation Smart grid

Research Highlight:

Current work in the lab centers around the model provided by the Future Renewable Electric Energy Delivery and Management (FREEDM) system.  FREEDM is the next generation energy internet.  The lab is responsible for the Distributed Grid Intelligence (DGI) thrust that provides distributed coordination of energy resources .   Security and privacy are significant concerns within the smart grid and the lab researchers address and mitigate these concerns through the information flow techniques of nondeducibility.  More recent attacks such as Stuxnet show the vulnerability of critical infrastructure systems.   Modal logic plays a role in defining multi-partition nondeducibility of actions and bisimulation automates its verification process.

Current Funding Sources: