Kashif Saghar
Kashif Saghar
Northumbria University, Newcastle upon Tyne, UK
Verified email at seecs.edu.pk
Title
Cited by
Cited by
Year
Formal modelling of a robust wireless sensor network routing protocol
K Saghar, W Henderson, D Kendall, A Bouridane
2010 NASA/ESA Conference on Adaptive Hardware and Systems, 281-288, 2010
282010
Analysis of LEACH protocol (s) using formal verification
A Ihsan, K Saghar, T Fatima
2015 12th International Bhurban Conference on Applied Sciences and …, 2015
252015
Formal modelling and analysis of routing protocol security in wireless sensor networks
K Saghar, W Henderson, D Kendall
232009
Applying formal modelling to detect DoS attacks in wireless medium
K Saghar, W Henderson, D Kendall, A Bouridane
2010 7th International Symposium on Communication Systems, Networks …, 2010
222010
Raeed: A solution for hello flood attack
K Saghar, D Kendall, A Bouridane
2015 12th International Bhurban Conference on Applied Sciences and …, 2015
172015
Software testing: A survey and tutorial on white and black-box testing of C/C++ programs
M Nouman, U Pervez, O Hasan, K Saghar
2016 ieee region 10 symposium (tensymp), 225-230, 2016
162016
Vulnerability of INSENS to denial of service attacks
K Saghar, D Kendall, A Bouridane
2011 IEEE International Conference on Acoustics, Speech and Signal …, 2011
142011
Achieving energy efficiency through load balancing: A comparison through formal verification of two WSN routing protocols
NA Khan, K Saghar, R Ahmad, AK Kiani
2016 13th International Bhurban Conference on Applied Sciences and …, 2016
112016
Application of formal modeling to detect black hole attacks in wireless sensor network routing protocols
K Saghar, D Kendall, A Bouridane
Proceedings of 2014 11th International Bhurban Conference on Applied …, 2014
112014
Formal modelling and analysis of denial of services attacks in wireless sensor networks
K Saghar
Northumbria University, 2010
112010
Gossip routing protocol for forest fire detection using wireless sensor networks
D Yasin, K Saghar, S Younis
2015 12th International Bhurban Conference on Applied Sciences and …, 2015
92015
Automatic detection of black hole attack in wireless network routing protocols
K Saghar, D Kendall, A Bouridane
IEEE, International Bhurban Conference on Applied Sciences & Technology …, 2014
92014
RAEED: A formally verified solution to resolve sinkhole attack in Wireless Sensor Network
K Saghar, M Tariq, D Kendall, A Bouridane
2016 13th International Bhurban Conference on Applied Sciences and …, 2016
82016
Evaluation of a sensor network node communication using formal verification
M Tariq, K Saghar
2015 12th International Bhurban Conference on Applied Sciences and …, 2015
82015
Formal comparison of LEACH and its extensions
A Ihsan, K Saghar, T Fatima, O Hasan
Computer Standards & Interfaces 62, 119-127, 2019
62019
RAEED-EA: A formally analysed energy efficient WSN routing protocol
NA Khan, K Saghar, R Ahmad, AK Kiani
2016 13th International Bhurban Conference on Applied Sciences and …, 2016
62016
Formal modeling and verification of Rumor Routing protocol
D Yasin, K Saghar, S Younis
2016 13th international Bhurban conference on applied sciences and …, 2016
62016
Formal analysis of a ZigBee-based routing protocol for smart grids using UPPAAL
A Rashid, O Hasan, K Saghar
2015 12th International Conference on High-capacity Optical Networks and …, 2015
62015
Evaluation of gossiping protocol for forest fire detection
D Yasin, K Saghar
IEEE, International Bhurban Conference on Applied Sciences & Technology …, 2015
52015
Formal modelling and verification approach for improving probabilistic behaviour of robot swarms
S Amin, A Elahi, K Saghar, F Mehmood
2017 14th International Bhurban Conference on Applied Sciences and …, 2017
42017
The system can't perform the operation now. Try again later.
Articles 1–20