| 2020 | NDSS | Automated Discovery of Cross-Plane Event-Based Vulnerabilities in Software-Defined Networking. | Benjamin E. Ujcich, Samuel Jero, Richard Skowyra, Steven R. Gomez, Adam Bates, William H. Sanders, Hamed Okhravi |
| 2020 | NetSoft | Provenance for Intent-Based Networking. | Benjamin E. Ujcich, Adam Bates, William H. Sanders |
| 2019 | DSN | Revisiting Client Puzzles for State Exhaustion Attacks Resilience. | Mohammad A. Noureddine, Ahmed M. Fawaz, Amanda Hsu, Cody Guldner, Sameer Vijay, Tamer Basar, William H. Sanders |
| 2019 | DSN | P4AIG: Circuit-Level Verification of P4 Programs. | Mohammad A. Noureddine, Amanda Hsu, Matthew Caesar, Fadi A. Zaraket, William H. Sanders |
| 2019 | EDCC | Leveraging Physical Access Logs to Identify Tailgating: Limitations and Solutions. | Carmen Cheh, Uttam Thakore, Binbin Chen, William G. Temple, William H. Sanders |
| 2019 | ISSRE | Coordinated Analysis of Heterogeneous Monitor Data in Enterprise Clouds for Incident Response. | Uttam Thakore, Harigovind V. Ramasamy, William H. Sanders |
| 2019 | NetSoft | Data Protection Intents for Software-Defined Networking. | Benjamin E. Ujcich, William H. Sanders |
| 2018 | CCS | Cross-App Poisoning in Software-Defined Networking. | Benjamin E. Ujcich, Samuel Jero, Anne Edmundson, Qi Wang, Richard Skowyra, James Landry, Adam Bates, William H. Sanders, Cristina Nita-Rotaru, Hamed Okhravi |
| 2018 | DSN | POWERALERT: Integrity Checking Using Power Measurement and a Game-Theoretic Strategy. | Ahmed M. Fawaz, Mohammad A. Noureddine, William H. Sanders |
| 2018 | EDCC | An Efficient Strategy for Model Composition in the Mbius Modeling Environment. | Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico, Brett Feddersen, William H. Sanders |
| 2018 | PRDC | Determining Tolerable Attack Surfaces that Preserves Safety of Cyber-Physical Systems. | Carmen Cheh, Ahmed M. Fawaz, Mohammad A. Noureddine, Binbin Chen, William G. Temple, William H. Sanders |
| 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 | DSN | REMAX: Reachability-Maximizing P2P Detection of Erroneous Readings in Wireless Sensor Networks. | Varun Badrinath Krishna, Michael J. Rausch, Benjamin E. Ujcich, Indranil Gupta, William H. Sanders |
| 2017 | DSN | ATTAIN: An Attack Injection Framework for Software-Defined Networking. | Benjamin E. Ujcich, Uttam Thakore, William H. Sanders |
| 2017 | PRDC | Learning Process Behavioral Baselines for Anomaly Detection. | Ahmed M. Fawaz, 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 |
| 2017 | PRDC | On Train Automatic Stop Control Using Balises: Attacks and a Software-Only Countermeasure. | William G. Temple, Bao Anh N. Tran, Binbin Chen, Zbigniew Kalbarczyk, William H. Sanders |
| 2017 | SRDS | An Unsupervised Multi-Detector Approach for Identifying Malicious Lateral Movement. | Atul Bohara, Mohammad A. Noureddine, Ahmed M. Fawaz, 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 |
| 2016 | DSN | F-DETA: A Framework for Detecting Electricity Theft Attacks in Smart Grids. | Varun Badrinath Krishna, Kiryung Lee, Gabriel A. Weaver, Ravishankar K. Iyer, William H. Sanders |
| 2016 | DSN | A Quantitative Methodology for Security Monitor Deployment. | Uttam Thakore, Gabriel A. Weaver, William H. Sanders |
| 2016 | SRDS | Lateral Movement Detection Using Distributed Data Fusion. | Ahmed M. Fawaz, Atul Bohara, Carmen Cheh, William H. Sanders |
| 2015 | CRITIS | ARIMA-Based Modeling and Validation of Consumption Readings in Power Grids. | Varun Badrinath Krishna, Ravishankar K. Iyer, William H. Sanders |
| 2015 | PRDC | Cyber-Physical Topology Language: Definition, Operations, and Application. | Carmen Cheh, Gabriel A. Weaver, William H. Sanders |
| 2015 | PRDC | Model-Based Cybersecurity Assessment with NESCOR Smart Grid Failure Scenarios. | Sumeet Jauhar, Binbin Chen, William G. Temple, Xinshu Dong, Zbigniew T. Kalbarczyk, William H. Sanders, David M. Nicol |
| 2015 | SAFECOMP | Security Analysis of Urban Railway Systems: The Need for a Cyber-Physical Perspective. | Binbin Chen, Christoph Schmittner, Zhendong Ma, William G. Temple, Xinshu Dong, Douglas L. Jones, William H. Sanders |
| 2014 | DCOSS | Enabling Collaborative Research for Security and Resiliency of Energy Cyber Physical Systems. | Alefiya Hussain, Ted Faber, Robert Braden, Terry V. Benzel, Tim Yardley, Jeremy Jones, David M. Nicol, William H. Sanders, Thomas W. Edgar, Thomas E. Carroll, David O. Manz, Laura Tinnel |
| 2014 | PRDC | Automatic Generation of Security Argument Graphs. | Nils Ole Tippenhauer, William G. Temple, An Hoa Vu, Binbin Chen, David M. Nicol, Zbigniew Kalbarczyk, William H. Sanders |
| 2013 | CCS | Toward a cyber-physical topology language: applications to NERC CIP audit. | Gabriel A. Weaver, Carmen Cheh, Edmond Rogers, William H. Sanders, Dennis Gammel |
| 2013 | DSN | Implementing the ADVISE security modeling formalism in Mbius. | Michael D. Ford, Ken Keefe, Elizabeth LeMay, William H. Sanders, Carol Muehrcke |
| 2013 | ICDCS | Content-Based Scheduling of Virtual Machines (VMs) in the Cloud. | Sobir Bazarbayev, Matti A. Hiltunen, Kaustubh R. Joshi, William H. Sanders, Richard D. Schlichting |
| 2013 | NSPW | Go with the flow: toward workflow-oriented security assessment. | Binbin Chen, Zbigniew Kalbarczyk, David M. Nicol, William H. Sanders, Rui Tan, William G. Temple, Nils Ole Tippenhauer, An Hoa Vu, David K. Y. Yau |
| 2013 | UCC | An Actor-centric, Asset-Based Monitor Deployment Model for Cloud Computing. | Uttam Thakore, Gabriel A. Weaver, William H. Sanders |
| 2012 | DSN | A framework for efficient evaluation of the fault tolerance of deduplicated storage systems. | Eric Rozier, William H. Sanders |
| 2012 | DSN | Safeguarding academic accounts and resources with the University Credential Abuse Auditing System. | Jing Zhang, Robin Berthier, Will Rhee, Michael D. Bailey, Partha P. Pal, Farnam Jahanian, William H. Sanders |
| 2012 | EDCC | A Mirrored Data Structures Approach to Diverse Partial Memory Replication. | Ryan M. Lefever, Vikram S. Adve, William H. Sanders |
| 2012 | NCA | Assuring the trustworthiness of the smarter electric grid. | William H. Sanders |
| 2011 | DSN | Managing business health in the presence of malicious attacks. | Saman A. Zonouz, Aashish Sharma, HariGovind V. Ramasamy, Zbigniew T. Kalbarczyk, Birgit Pfitzmann, Kevin P. McAuliffe, Ravishankar K. Iyer, William H. Sanders, Eric Cope |
| 2011 | PRDC | Specification-Based Intrusion Detection for Advanced Metering Infrastructures. | Robin Berthier, William H. Sanders |
| 2011 | SAFECOMP | FloGuard: Cost-Aware Systemwide Intrusion Defense via Online Forensics and On-Demand IDS Deployment. | Saman A. Zonouz, Kaustubh R. Joshi, William H. Sanders |
| 2011 | SRDS | Modeling the Fault Tolerance Consequences of Deduplication. | Eric Rozier, William H. Sanders, Pin Zhou, NagaPramod Mandagere, Sandeep Uttamchandani, Mark L. Yakushev |
| 2010 | DSN | Diverse Partial Memory Replication. | Ryan M. Lefever, Vikram S. Adve, William H. Sanders |
| 2010 | DSN | Diversity-inspired clustering for self-healing MANETs: Motivation, protocol, and performability evaluation. | Ann T. Tai, Kam S. Tso, William H. Sanders |
| 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 |
| 2009 | DSN | RRE: A game-theoretic intrusion Response and Recovery Engine. | Saman A. Zonouz, Himanshu Khurana, William H. Sanders, Timothy M. Yardley |
| 2009 | INFOCOM | Link Gradients: Predicting the Impact of Network Latency on Multitier Applications. | Shuyi Chen, Kaustubh R. Joshi, Matti A. Hiltunen, William H. Sanders, Richard D. Schlichting |
| 2009 | WSC | G-SSASC: Simultaneous Simulation of System Models with bounded Hazard Rates. | Shravan Gaonkar, William H. Sanders |
| 2008 | DSN | Scaling file systems to support petascale clusters: A dependability analysis to support informed design choices. | Shravan Gaonkar, Eric Rozier, Anthony Tong, William H. Sanders |
| 2008 | DSN | A recurrence-relation-based reward model for performability evaluation of embedded systems. | Ann T. Tai, Kam S. Tso, William H. Sanders |
| 2007 | DSN | Quantifying the Effectiveness of Mobile Phone Virus Response Mechanisms. | Elizabeth Van Ruitenbeek, Tod Courtney, William H. Sanders, Fabrice Stevens |
| 2007 | PODC | The coBFIT toolkit. | HariGovind V. Ramasamy, Mouna Seri, William H. Sanders |
| 2006 | DSN | Designing dependable storage solutions for shared application environments. | Shravan Gaonkar, Kimberly Keeton, Arif Merchant, William H. Sanders |
| 2006 | DSN | Barbarians in the Gate: An Experimental Validation of NIC-based Distributed Firewall Performance and Flood Tolerance. | Michael Ihde, William H. Sanders |
| 2006 | DSN | Automatic Recovery Using Bounded Partially Observable Markov Decision Processes. | Kaustubh R. Joshi, William H. Sanders, Matti A. Hiltunen, Richard D. Schlichting |
| 2006 | DSN | A Component-Level Path Composition Approach for Efficient Transient Analysis of Large CTMCs. | Vinh Vi Lam, William H. Sanders, Peter Buchholz |
| 2006 | PRDC | Detecting and Exploiting Symmetry in Discrete-state Markov Models. | W. Douglas Obal II, Michael G. McQuinn, William H. Sanders |
| 2006 | SRDS | Proactive Resilience Revisited: The Delicate Balance Between Resisting Intrusions and Remaining Available. | Paulo Sousa, Nuno Ferreira Neves, Paulo Verssimo, William H. Sanders |
| 2005 | DSN | Lumping Matrix Diagram Representations of Markov Models. | Salem Derisavi, Peter Kemper, William H. Sanders |
| 2005 | DSN | A Performability-Oriented Software Rejuvenation Framework for Distributed Applications. | Ann T. Tai, Kam S. Tso, William H. Sanders, Savio N. Chau |
| 2005 | ICDCS | Application-Driven Coordination-Free Distributed Checkpointing. | Adnan Agbaria, William H. Sanders |
| 2005 | PRDC | Simultaneous Simulation of Alternative System Configurations. | Shravan Gaonkar, William H. Sanders |
| 2005 | WSC | A component-level path-based simulation approach for efficient analysis of large Markov models. | Vinh Vi Lam, Peter Buchholz, William H. Sanders |
| 2005 | SRDS | Automatic Model-Driven Recovery in Distributed Systems. | Kaustubh R. Joshi, William H. Sanders, Matti A. Hiltunen, Richard D. Schlichting |
| 2004 | DSN | Cluster-Based Failure Detection Service for Large-Scale Ad Hoc Wireless Network Applications. | Ann T. Tai, Kam S. Tso, William H. Sanders |
| 2004 | PERCOM | Distributed Snapshots for Mobile Computing Systems. | Adnan Agbaria, William H. Sanders |
| 2004 | PRDC | Ferret: A Host Vulnerability Checking Tool. | Anil Sharma, Jason R. Martin, Nitin Anand, Michel Cukier, William H. Sanders |
| 2004 | SRDS | Model-Based Validation of an Intrusion-Tolerant Information System. | Fabrice Stevens, Tod Courtney, Sankalp Singh, Adnan Agbaria, John F. Meyer, William H. Sanders, Partha P. Pal |
| 2003 | COMPSAC | Protecting Distributed Software Upgrades that Involve Message-Passing Interface Changes. | Ann T. Tai, Kam S. Tso, William H. Sanders |
| 2003 | DSN | On Integrating the MBIUS and MODEST Modeling Tools. | Henrik C. Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren, Vinh Vi Lam, William H. Sanders |
| 2003 | DSN | Probabilistic Validation of an Intrusion-Tolerant Replication System. | Sankalp Singh, Michel Cukier, William H. Sanders |
| 2003 | DSN | Opportunity-Adaptive QoS Enhancement in Satellite Constellations: A Case Study. | Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Chau, William H. Sanders |
| 2003 | SRDS | An Experimental Evaluation of Correlated Network Partitions in the Coda Distributed File System. | Ryan M. Lefever, Michel Cukier, William H. Sanders |
| 2002 | DSN | An Adaptive Framework for Tunable Consistency and Timeliness Using Replication. | Sudha Krishnamurthy, William H. Sanders, Michel Cukier |
| 2002 | DSN | Quantifying the Cost of Providing Intrusion Tolerance in Group Communication Systems. | HariGovind V. Ramasamy, Prashant Pandey, James Lyons, Michel Cukier, William H. Sanders |
| 2002 | DSN | Performability Analysis of Guarded-Operation Duration: A Successive Model-Translation Approach. | Ann T. Tai, William H. Sanders, Leon Alkalai, Savio N. Chau, Kam S. Tso |
| 2002 | EDCC | Experimental Evaluation of the Unavailability Induced by a Group Membership Protocol. | Kaustubh R. Joshi, Michel Cukier, William H. Sanders |
| 2002 | PRDC | Formal Specification and Verification of a Group Membership Protocol for an Intrusion-Tolerant Group Communication System. | HariGovind V. Ramasamy, Michel Cukier, William H. Sanders |
| 2002 | PRDC | Passive Replication Schemes in Aqua. | Jennifer Ren, Paul Rubel, Mouna Seri, Michel Cukier, William H. Sanders, Tod Courtney |
| 2001 | DSN | A Dynamic Replica Selection Algorithm for Tolerating Timing Faults. | Sudha Krishnamurthy, William H. Sanders, Michel Cukier |
| 2001 | DSN | Business Meeting: IEEE Technical Committee on Fault Tolerance. | William H. Sanders |
| 2001 | DSN | Synergistic Coordination between Software and Hardware Fault Tolerance Techniques. | Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Chau, William H. Sanders |
| 2001 | ISSRE | Low-Cost Flexible Software Fault Tolerance for Distributed Computing. | Ann T. Tai, Kam S. Tso, William H. Sanders, Leon Alkalai, Savio N. Chau |
| 2000 | DSN | Loki: A State-Driven Fault Injector for Distributed Systems. | Ramesh Chandra, Ryan M. Lefever, Michel Cukier, William H. Sanders |
| 2000 | ICDCS | On Low-Cost Error Containment and Recovery Methods for Guarded Software Upgrading. | Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Chau, William H. Sanders |
| 2000 | SRDS | Dynamic Node Management and Measure Estimation in a State-Driven Fault Injector. | Ramesh Chandra, Michel Cukier, Ryan M. Lefever, William H. Sanders |
| 1999 | SRDS | Fault Injection based on a Partial View of the Global State of a Distributed System. | Michel Cukier, Ramesh Chandra, David Henke, Jessica Pistole, William H. Sanders |
| 1998 | SRDS | AQuA: An Adaptive Architecture that Provides Dependable Distributed Objects. | Michel Cukier, Jennifer Ren, Chetan Sabnis, David Henke, Jessica Pistole, William H. Sanders, David E. Bakken, Mark E. Berman, David A. Karr, Richard E. Schantz |
| 1997 | SRDS | Probabilistic Verification of a Synchronous Round-Based Consensus Protocol. | Harpreet S. Duggal, Michel Cukier, William H. Sanders |
| 1996 | WSC | Using ZPL to Develop a Parallel Chaos Router Simulator. | Wilkey Richardson, Mary L. Bailey, William H. Sanders |
| 1995 | ICCCN | Loss process analysis of the knockout switch using stochastic activity networks. | Latha A. Kant, William H. Sanders |
| 1995 | MASCOTS | The Effect of Workload on the Performance and Availability of Voting Algorithms. | Muhammad A. Qureshi, William H. Sanders |
| 1994 | SRDS | An Environment for Importance Sampling Based on Stochastic Activity Networks. | W. Douglas Obal II, William H. Sanders |
| 1992 | CBMS | A modular method for evaluating the performance of picture archiving and communication systems. | Abhijit S. Kudrimoti, William H. Sanders |
| 1992 | SIGUCCS | Recently asked questions (RAQS). | William H. Sanders |
| 1991 | SRDS | Performability Evaluation of CASMA/CD and CASMA/DCR Protocols under Transient Fault Conditions. | Kevin H. Prodromides, William H. Sanders |