1. Yehuda Afek , Anat Bremler-Barr , and Lior Shafir . 2020. NXNSAttack: Recursive DNS Ineffciencies and Vulnerabilities . In USENIX Security 2020 . USENIX Association , 631--648. https://www.usenix.org/conference/usenixsecurity20/presentation/afek Yehuda Afek, Anat Bremler-Barr, and Lior Shafir. 2020. NXNSAttack: Recursive DNS Ineffciencies and Vulnerabilities. In USENIX Security 2020. USENIX Association, 631--648. https://www.usenix.org/conference/usenixsecurity20/presentation/afek
2. A Survey of Statistical Model Checking
3. PMaude: Rewrite-based Specification Language for Probabilistic Object Systems
4. PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool
5. Negative Caching of DNS Queries (DNS NCACHE)