Automatic security assessment of critical cyber-infrastructures. - Zahid Anwar; Ravinder Shankesi; Roy H. Campbell (DSN, 2008)

Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers. - Rohit Chadha; Carl A. Gunter; José Meseguer 001; Ravinder Shankesi; Mahesh Viswanathan 001 (FMOODS, 2008)

Model-Checking DoS Amplification for VoIP Session Initiation. - Ravinder Shankesi; Musab AlTurki; Ralf Sasse; Carl A. Gunter; José Meseguer 001 (ESORICS, 2009)

Reconstructing Hash Reversal based Proof of Work Schemes. - Jeff Green; Joshua Juen; Omid Fatemieh; Ravinder Shankesi; Dong (Kevin) Jin; Carl A. Gunter (LEET, 2011)

Friendsourcing to detect network manipulation - Ravinder Shankesi (2013)