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
12612012
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
6942011
Network-wide verification of invariants
A Khurshid, MC Caesar, PB Godfrey
US Patent 9,225,601, 2015
1672015
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
1452011
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
132011
Performance evaluation of the illinois cloud computing testbed
A Khurshid, A Al-Nayeem, I Gupta
132009
Improving robustness of DNS to software vulnerabilities
A Khurshid, F Kiyak, M Caesar
Proceedings of the 27th Annual Computer Security Applications Conference …, 2011
122011
Modified TCP newreno for wireless networks
A Khurshid, MH Kabir, R Das
2015 international conference on networking systems and security (NSysS), 1-6, 2015
92015
Denial in dtns
MYS Uddin, A Khurshid, HD Jung, C Gunter
82010
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
72022
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
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