Tushar Deshpande

According to our database, Tushar Deshpande authored at least 3 papers between 2010 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Stochastic Game-Based Analysis of the DNS Bandwidth Amplification Attack Using Probabilistic Model Checking.

Tushar Deshpande, Panagiotis Katsaros, Scott A. Smolka, Scott D. Stoller

Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014

2011

Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking.

Tushar Deshpande, Panagiotis Katsaros, Stylianos Basagiannis, Scott A. Smolka

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

2010

Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking.

Nikolaos Alexiou, Stylianos Basagiannis, Panagiotis Katsaros, Tushar Deshpande, Scott A. Smolka

Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010