| 2017 | CCS | Developing Models for Physical Attacks in Cyber-Physical Systems. | Carmen Cheh, Ken Keefe, Brett Feddersen, Binbin Chen, William G. Temple, William H. Sanders |
| 2017 | CRITIS | Automatically Generating Security Models from System Models to Aid in the Evaluation of AMI Deployment Options. | Michael J. Rausch, Ken Keefe, Brett Feddersen, William H. Sanders |
| 2017 | PRDC | Accounting for the Human User in Predictive Security Models. | Mohammad A. Noureddine, Andrew Marturano, Ken Keefe, Masooda N. Bashir, William H. Sanders |
| 2016 | CRITIS | A Case Study Assessing the Effects of Cyber Attacks on a River Zonal Dispatcher. | Ronald Joseph Wright, Ken Keefe, Brett Feddersen, William H. Sanders |
| 2013 | DSN | Implementing the ADVISE security modeling formalism in Mbius. | Michael D. Ford, Ken Keefe, Elizabeth LeMay, William H. Sanders, Carol Muehrcke |
| 2009 | DSN | Mbius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models. | Tod Courtney, Shravan Gaonkar, Ken Keefe, Eric Rozier, William H. Sanders |