| Formal analysis of the kaminsky DNS cache-poisoning attack using probabilistic model checking N Alexiou, S Basagiannis, P Katsaros, T Dashpande, SA Smolka 2010 IEEE 12th International Symposium on High Assurance Systems Engineering …, 2010 | 56 | 2010 |
| Formal analysis of the DNS bandwidth amplification attack and its countermeasures using probabilistic model checking T Deshpande, P Katsaros, S Basagiannis, SA Smolka 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering …, 2011 | 37 | 2011 |
| Stochastic game-based analysis of the DNS bandwidth amplification attack using probabilistic model checking T Deshpande, P Katsaros, SA Smolka, SD Stoller 2014 Tenth European Dependable Computing Conference, 226-237, 2014 | 22 | 2014 |
| Blockchain-enhanced identities for secure interaction D Chakravarty, T Deshpande 2018 IEEE International Symposium on Technologies for Homeland Security (HST …, 2018 | 9 | 2018 |
| Tracking Action Potentials of Nonlinear Excitable Cells Using Model Predictive Control MA Islam, A Murthy, T Deshpande, SD Stoller, SA Smolka, E Bartocci, ... The Sixth International Conference on Bioinformatics, Biocomputational …, 2014 | 1 | 2014 |
| Formal Analysis of DNS Attacks and Their Countermeasures Using Probabilistic Model Checking TS Deshpande State University of New York at Stony Brook, 2013 | 1 | 2013 |
| Tracking Action Potentials of Nonlinear Excitable Cells using Model Predictive Control I Ariful, T Deshpande, A Murthy, E Bartocci, SA Smolka, SD Stoller, ... Proc. of BIOTECHNO 2014: The Sixth International Conference on …, 2014 | | 2014 |
| Model Checking the Kaminsky DNS Cache-Poisoning Attack Using PRISM TS Deshpande The Graduate School, Stony Brook University: Stony Brook, NY., 2010 | | 2010 |
