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, X Zou, W Zhou, M Caesar, PB Godfrey
Presented as part of the 10th {USENIX} Symposium on Networked Systems Design …, 2013
8702013
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
4672011
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
1052011
Network-wide verification of invariants
A Khurshid, MC Caesar, PB Godfrey
US Patent 9,225,601, 2015
562015
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
132009
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
122011
Denial in dtns
MYS Uddin, A Khurshid, HD Jung, C Gunter
82010
Improving robustness of DNS to software vulnerabilities
A Khurshid, F Kiyak, M Caesar
Proceedings of the 27th Annual Computer Security Applications Conference …, 2011
72011
Modified TCP newreno for wireless networks
A Khurshid, MH Kabir, R Das
2015 international conference on networking systems and security (NSysS), 1-6, 2015
52015
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
52011
Reservation Based Adaptive Uplink Admission Control for WCDMA
AK Abdullah Al Muzahid, MMA Patwary, MM Akbar, MK Khan
Department of CS, 2006
22006
ISOLATION AND CHARACTERIZATION OF MULTIDRUG RESISTANT BETA-LACTAMASE PRODUCING SALMONELLA ENTERICA FROM WILD MIGRATORY BIRDS
M Sharif, S Alam, S Fazal, M Kabir, A Shah, W Khan, MM Khan, ...
APPLIED ECOLOGY AND ENVIRONMENTAL RESEARCH 18 (1), 1407-1418, 2020
2020
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–14