Kashif Saghar

According to our database, Kashif Saghar authored at least 6 papers between 2010 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

Formal comparison of LEACH and its extensions.

Ainan Ihsan, Kashif Saghar, Tayyba Fatima, Osman Hasan

Comput. Stand. Interfaces, 2019

2018

Dynamic Testing of C Program Interfaces Based on FSM Modeling.

Muhammad Sajjad, Muhammad Wasim, Muzammil Shahbaz, Kashif Saghar, Muhammad Usman Ghani Khan

Proceedings of the 2018 International Conference on Frontiers of Information Technology, 2018

2017

Verification of an Ad-hoc Serial Communication Protocol through Model-checking: A Case Study with Echo Sounder.

Shakaiba Majeed, Kashif Saghar, Kashif Hameed, Minsoo Ryu

J. Softw., 2017

2011

Vulnerability of insens to denial of service attacks.

Kashif Saghar, David Kendall, Ahmed Bouridane

Proceedings of the IEEE International Conference on Acoustics, 2011

2010

Applying formal modelling to detect DoS attacks in wireless medium.

Kashif Saghar, William Henderson, David Kendall, Ahmed Bouridane

Proceedings of the 7th International Symposium on Communication Systems Networks and Digital Signal Processing, 2010

Formal modelling of a robust Wireless Sensor Network routing protocol.

Kashif Saghar, William Henderson, David Kendall, Ahmed Bouridane

Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems, 2010