Improving robustness of DNS to software vulnerabilities. - Ahmed Khurshid; Firat Kiyak; Matthew Caesar 001 (ACSAC, 2011)

Stealthy traffic analysis of low-latency anonymous communication using throughput fingerprinting. - Prateek Mittal; Ahmed Khurshid; Joshua Juen; Matthew Caesar 001; Nikita Borisov (CCS, 2011)

Scaling data-plane logging in large scale networks. - Ahsan Arefin; Ahmed Khurshid; Matthew Caesar 001; Klara Nahrstedt (MILCOM, 2011)

Making DTNs robust against spoofing attacks with localized countermeasures. - Md. Yusuf Sarwar Uddin; Ahmed Khurshid; Hee Dong Jung; Carl A. Gunter; Matthew Caesar 001; Tarek F. Abdelzaher (SECON, 2011)

Debugging the data plane with anteater. - Haohui Mai; Ahmed Khurshid; Rachit Agarwal 001; Matthew Caesar 001; Brighten Godfrey; Samuel Talmadge King (SIGCOMM, 2011)

Veriflow: verifying network-wide invariants in real time. - Ahmed Khurshid; Wenxuan Zhou; Matthew Caesar 001; Brighten Godfrey (Comput. Commun. Rev., 2012)

VeriFlow: Verifying Network-Wide Invariants in Real Time. - Ahmed Khurshid; Xuan Zou; Wenxuan Zhou; Matthew Caesar 001; Philip Brighten Godfrey (NSDI, 2013)

Modified TCP NewReno for wireless networks. - Ahmed Khurshid; Md. Humayun Kabir; Rajkumar Das 002 (NSysS, 2015)