Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking. - Nikolaos Alexiou 001; Stylianos Basagiannis; Panagiotis Katsaros; Tushar Deshpande; Scott A. Smolka (HASE, 2010)

Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking. - Tushar Deshpande; Panagiotis Katsaros; Stylianos Basagiannis; Scott A. Smolka (HASE, 2011)

Stochastic Game-Based Analysis of the DNS Bandwidth Amplification Attack Using Probabilistic Model Checking. - Tushar Deshpande; Panagiotis Katsaros; Scott A. Smolka; Scott D. Stoller (EDCC, 2014)