Critical Infrastructure Protection Laboratory

308 Computer Science Building
Bruce McMillin (Director)

The Critical Infrastructure Protection Laboratory is an organization dedicated to research in advanced methods of secure, distributed and parallel computation. The current focus is on the use of rigorous mathematics through formal methods to create fault-tolerant and secure real-time distributed computing systems applied to critical infrastructure protection. This area is known as Cyber-Physical Systems. The laboratory supports undergraduate, graduate, and faculty researchers.

E-mail us at or visit our current cybersecurity website at