Kashif Saghar
Kashif Saghar
Northumbria University, Newcastle upon Tyne, UK
Verified email at seecs.edu.pk
TitleCited byYear
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
262010
Analysis of LEACH protocol (s) using formal verification
A Ihsan, K Saghar, T Fatima
2015 12th International Bhurban Conference on Applied Sciences and …, 2015
232015
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
Formal modelling and analysis of routing protocol security in wireless sensor networks
K Saghar, W Henderson, D Kendall
222009
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
142016
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
Raeed: A solution for hello flood attack
K Saghar, D Kendall, A Bouridane
2015 12th International Bhurban Conference on Applied Sciences and …, 2015
132015
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
102014
Formal modelling and analysis of denial of services attacks in wireless sensor networks
K Saghar
Northumbria University, 2010
102010
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
92016
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
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
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
82015
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
72016
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
Evaluation of gossiping protocol for forest fire detection
D Yasin, K Saghar
IEEE, International Bhurban Conference on Applied Sciences & Technology …, 2015
52015
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
42015
Evaluation of model checkers SPIN AND UPPAAL for testing wireless sensor network routing protocols
T Fatima, K Saghar, A Ihsan
2015 12th International Bhurban Conference on Applied Sciences and …, 2015
42015
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
32016
Formal specifications of denial of service attacks in wireless sensor networks
K Saghar, H Farid, D Kendall, A Bouridane
2016 13th International Bhurban Conference on Applied Sciences and …, 2016
32016
The system can't perform the operation now. Try again later.
Articles 1–20