Ravinder Shankesi

Publication Activity (10 Years)

Years Active: 2008-2011
Publications (10 Years): 0

Publications

Jeff Green, Joshua Juen, Omid Fatemieh, Ravinder Shankesi, Dong (Kevin) Jin, Carl A. Gunter
Reconstructing Hash Reversal based Proof of Work Schemes. LEET (2011)
Ravinder Shankesi, Musab AlTurki, Ralf Sasse, Carl A. Gunter, José Meseguer
Model-Checking DoS Amplification for VoIP Session Initiation. ESORICS (2009)
Zahid Anwar, Ravinder Shankesi, Roy H. Campbell
Automatic security assessment of critical cyber-infrastructures. DSN (2008)
Rohit Chadha, Carl A. Gunter, José Meseguer, Ravinder Shankesi, Mahesh Viswanathan
Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers. FMOODS (2008)