Follow
Ahmed Khurshid
Ahmed Khurshid
Veriflow Systems, Inc.
Verified email at veriflow.net
Title
Cited by
Cited by
Year
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
11492012
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
6322011
Network-wide verification of invariants
A Khurshid, MC Caesar, PB Godfrey
US Patent 9,225,601, 2015
1432015
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
1322011
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
162011
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
142011
Performance evaluation of the illinois cloud computing testbed
A Khurshid, A Al-Nayeem, I Gupta
142009
Improving robustness of DNS to software vulnerabilities
A Khurshid, F Kiyak, M Caesar
Proceedings of the 27th Annual Computer Security Applications Conference …, 2011
102011
Denial in dtns
MYS Uddin, A Khurshid, HD Jung, C Gunter
82010
Modified TCP newreno for wireless networks
A Khurshid, MH Kabir, R Das
2015 international conference on networking systems and security (NSysS), 1-6, 2015
72015
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
42011
Reservation Based Adaptive Uplink Admission Control for WCDMA
AK Abdullah Al Muzahid, MMA Patwary, MM Akbar, MK Khan
Department of CS, 2006
22006
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
2022
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
The system can't perform the operation now. Try again later.
Articles 1–15