Veriflow: Verifying network-wide invariants in real time A Khurshid, W Zhou, M Caesar, PB Godfrey Proceedings of the first workshop on Hot topics in software defined networks …, 2012 | 1263 | 2012 |
Debugging the data plane with anteater H Mai, A Khurshid, R Agarwal, M Caesar, PB Godfrey, ST King ACM SIGCOMM Computer Communication Review 41 (4), 290-301, 2011 | 695 | 2011 |
Network-wide verification of invariants A Khurshid, MC Caesar, PB Godfrey US Patent 9,225,601, 2015 | 167 | 2015 |
Stealthy traffic analysis of low-latency anonymous communication using throughput fingerprinting P Mittal, A Khurshid, J Juen, M Caesar, N Borisov Proceedings of the 18th ACM conference on Computer and Communications …, 2011 | 145 | 2011 |
Making DTNs robust against spoofing attacks with localized countermeasures MYS Uddin, A Khurshid, HD Jung, C Gunter, M Caesar, T Abdelzaher 2011 8th Annual IEEE Communications Society Conference on Sensor, Mesh and …, 2011 | 16 | 2011 |
An improved TCP congestion control algorithm for wireless networks A Khurshid, MH Kabir, MAT Prodhan Proceedings of 2011 IEEE Pacific Rim Conference on Communications, Computers …, 2011 | 13 | 2011 |
Performance evaluation of the illinois cloud computing testbed A Khurshid, A Al-Nayeem, I Gupta | 13 | 2009 |
Improving robustness of DNS to software vulnerabilities A Khurshid, F Kiyak, M Caesar Proceedings of the 27th Annual Computer Security Applications Conference …, 2011 | 12 | 2011 |
Modified TCP newreno for wireless networks A Khurshid, MH Kabir, R Das 2015 international conference on networking systems and security (NSysS), 1-6, 2015 | 9 | 2015 |
Denial in dtns MYS Uddin, A Khurshid, HD Jung, C Gunter | 8 | 2010 |
Systems for and methods of modelling, analysis and management of data networks A Khurshid, M Caesar, M Dong, PB Godfrey, SPM Prabhu, W Zhou US Patent App. 17/542,119, 2022 | 7 | 2022 |
Scaling data-plane logging in large scale networks A Arefin, A Khurshid, M Caesar, K Nahrstedt 2011-MILCOM 2011 Military Communications Conference, 1308-1314, 2011 | 4 | 2011 |
Reservation Based Adaptive Uplink Admission Control for WCDMA AK Abdullah Al Muzahid, MMA Patwary, MM Akbar, MK Khan Department of CS, 2006 | 2 | 2006 |
Network-wide verification of invariants PB Godfrey, W Zhou, A Khurshid, X Zou, MC Caesar | | 2015 |
Monitoring and verifying network behavior using data-plane state A Khurshid University of Illinois at Urbana-Champaign, 2015 | | 2015 |