Folgen
Ahmed Khurshid
Ahmed Khurshid
Veriflow Systems, Inc.
Bestätigte E-Mail-Adresse bei veriflow.net
Titel
Zitiert von
Zitiert von
Jahr
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
6272011
Network-wide verification of invariants
A Khurshid, MC Caesar, PB Godfrey
US Patent 9,225,601, 2015
1382015
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–15