Follow
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
472010
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
362011
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
212014
Blockchain-enhanced identities for secure interaction
D Chakravarty, T Deshpande
2018 IEEE International Symposium on Technologies for Homeland Security (HST …, 2018
42018
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
State University of New York at Stony Brook, 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