William Sanders

Dr. William Sanders is a Professor in the Computer Science Department at Carnegie Mellon University, with affiliated appointments in the Office of the President. His research develops formal methods for cybersecurity, including tools like CyberSAGE for security argument evaluation and techniques for assessing cyber-physical infrastructure vulnerabilities.

Research Focus

Key areas include:

• Security metrics and risk assessment frameworks
• Intrusion detection for software-defined networks
• Cyber-physical system protection (power grids, IoT)
• Formal verification of network protocols

His work integrates game theory, stochastic modeling, and machine learning for adaptive security.

Theoretical Contributions

Developed ADVISE meta model formalism for security quantification and ontological frameworks for threat modeling in critical infrastructure.