Probabilistic Validation of an Intrusion-Tolerant Replication System. - Sankalp Singh; Michel Cukier; William H. Sanders (DSN, 2003)

Dependability and Performance Evaluation of Intrusion-Tolerant Server Architectures. - Vishu Gupta; Vinh Vi Lam; HariGovind V. Ramasamy; William H. Sanders; Sankalp Singh (LADC, 2003)

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 (SRDS, 2004)

Fast Model-Based Penetration Testing. - Sankalp Singh; James Lyons; David M. Nicol (WSC, 2004)

Validation of a survivable Publish-Subscribe System. - Sankalp Singh; Adnan Agbaria; Fabrice Stevens; Tod Courtney; John F. Meyer; William H. Sanders; Partha P. Pal (Int. J. Comput., 2005)

Securing Current and Future Process Control Systems. - Robert K. Cunningham; Steven Cheung; Martin W. Fong; Ulf Lindqvist; David M. Nicol; Ronald Pawlowski; Eric Robinson; William H. Sanders; Sankalp Singh; Alfonso Valdes; Bradley Woodworth; Michael Zhivich (Critical Infrastructure Protection, 2007)

Usable Global Network Access Policy for Process Control Systems. - David M. Nicol; William H. Sanders; Sankalp Singh; Mouna Seri (IEEE Secur. Priv., 2008)

Experiences Validating the Access Policy Tool in Industrial Settings. - David M. Nicol; William H. Sanders; Mouna Seri; Sankalp Singh (HICSS, 2010)

Automatic verification of security policy implementations - Sankalp Singh (2012)