Tushar Deshpande

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Formal Verification

Finite State Machines

Transition Systems

Top Venues

Publications

Tushar Deshpande, Panagiotis Katsaros, Scott A. Smolka, Scott D. Stoller
Stochastic Game-Based Analysis of the DNS Bandwidth Amplification Attack Using Probabilistic Model Checking. EDCC (2014)
Tushar Deshpande, Panagiotis Katsaros, Stylianos Basagiannis, Scott A. Smolka
Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking. HASE (2011)
Nikolaos Alexiou, Stylianos Basagiannis, Panagiotis Katsaros, Tushar Deshpande, Scott A. Smolka
Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking. HASE (2010)