Sankalp Singh

According to our database, Sankalp Singh authored at least 9 papers between 2003 and 2012.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2012

Automatic verification of security policy implementations

Sankalp Singh

PhD thesis, 2012

2010

Experiences Validating the Access Policy Tool in Industrial Settings.

David M. Nicol, William H. Sanders, Mouna Seri, Sankalp Singh

Proceedings of the 43rd Hawaii International International Conference on Systems Science (HICSS-43 2010), 2010

2008

Usable Global Network Access Policy for Process Control Systems.

David M. Nicol, William H. Sanders, Sankalp Singh, Mouna Seri

IEEE Secur. Priv., 2008

2007

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

Proceedings of the Critical Infrastructure Protection, 2007

2005

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

2004

Fast Model-Based Penetration Testing.

Sankalp Singh, James Lyons, David M. Nicol

Proceedings of the 36th conference on Winter simulation, 2004

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

Proceedings of the 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 2004

2003

Dependability and Performance Evaluation of Intrusion-Tolerant Server Architectures.

Vishu Gupta, Vinh Vi Lam, HariGovind V. Ramasamy, William H. Sanders, Sankalp Singh

Proceedings of the Dependable Computing, First Latin-American Symposium, 2003

Probabilistic Validation of an Intrusion-Tolerant Replication System.

Sankalp Singh, Michel Cukier, William H. Sanders

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003