Tushar Deshpande
Title
Cited by
Cited by
Year
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
422010
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
302011
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
202014
Blockchain-enhanced Identities for Secure Interaction
D Chakravarty, T Deshpande
2018 IEEE International Symposium on Technologies for Homeland Security (HST …, 2018
12018
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
2014
Formal Analysis of DNS Attacks and Their Countermeasures Using Probabilistic Model Checking
TS Deshpande
The Graduate School, Stony Brook University: Stony Brook, NY., 2013
2013
Model Checking the Kaminsky DNS Cache-Poisoning Attack Using PRISM
TS Deshpande
The Graduate School, Stony Brook University: Stony Brook, NY., 2010
2010
The system can't perform the operation now. Try again later.
Articles 1–7