Ahmed Khurshid
Ahmed Khurshid
Veriflow Systems, Inc.
Verified email at
Cited by
Cited by
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
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
Network-wide verification of invariants
A Khurshid, MC Caesar, PB Godfrey
US Patent 9,225,601, 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
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
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
Performance evaluation of the illinois cloud computing testbed
A Khurshid, A Al-Nayeem, I Gupta
Unpublished, Tech. Rep, 2009
Improving robustness of DNS to software vulnerabilities
A Khurshid, F Kiyak, M Caesar
Proceedings of the 27th Annual Computer Security Applications Conference …, 2011
Denial in dtns
MYS Uddin, A Khurshid, HD Jung, C Gunter
Modified TCP newreno for wireless networks
A Khurshid, MH Kabir, R Das
2015 international conference on networking systems and security (NSysS), 1-6, 2015
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
Reservation Based Adaptive Uplink Admission Control for WCDMA
AK Abdullah Al Muzahid, MMA Patwary, MM Akbar, MK Khan
Department of CS, 2006
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
Network-wide Verification Of Invariants
PB Godfrey, W Zhou, A Khurshid, X Zou, MC Caesar
Monitoring and verifying network behavior using data-plane state
A Khurshid
usenix conference policies
A Khurshid, X Zou, W Zhou, M Caesar, PB Godfrey
The system can't perform the operation now. Try again later.
Articles 1–16