| 2009 | ||
|---|---|---|
| 3 | Ravinder Shankesi, Musab AlTurki, Ralf Sasse, Carl A. Gunter, José Meseguer: Model-Checking DoS Amplification for VoIP Session Initiation. ESORICS 2009: 390-405 | |
| 2008 | ||
| 2 | Zahid Anwar, Ravinder Shankesi, Roy H. Campbell: Automatic security assessment of critical cyber-infrastructures. DSN 2008: 366-375 | |
| 1 | Rohit Chadha, Carl A. Gunter, José Meseguer, Ravinder Shankesi, Mahesh Viswanathan: Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers. FMOODS 2008: 39-58 | |
| 1 | Musab AlTurki | [3] |
| 2 | Zahid Anwar | [2] |
| 3 | Roy H. Campbell | [2] |
| 4 | Rohit Chadha | [1] |
| 5 | Carl A. Gunter | [1] [3] |
| 6 | José Meseguer | [1] [3] |
| 7 | Ralf Sasse | [3] |
| 8 | Mahesh Viswanathan | [1] |