Khalid Alghamdi

According to our database, Khalid Alghamdi authored at least 3 papers between 2015 and 2018.

Collaborative distances:

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

2018

IoTVerif: An Automated Tool to Verify SSL/TLS Certificate Validation in Android MQTT Client Applications.

Khalid Alghamdi, Ali Alqazzaz, Anyi Liu, Ming Hua

Proceedings of the Eighth ACM Conference on Data and Application Security and Privacy, 2018

2016

A Software Tool for Floating Point Interval Analysis with Improved Precision for Javascript-Based Medical Applications.

Khalid Alghamdi, Nabil Almashfi, Ming Hua

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015

Teaching and Learning Computer Science at Al Baha University, Saudi Arabia: Insights from a Staff Development Course.

Anders Berglund, Arnold Pears, Aletta Nylén, Farooq Ahmad, Bader Alghamdi, Khalid Alghamdi, Ahmed Alhabish, Abdullah Aljoufi, Eidah Alzahrani, Rami Alzahrani, Ismat Aldmour, Areej Athama, Hamada Shihab Alsadoon, Rahmat Budiarto, Abdul Hafeez, Nadeem Hassan Daudpota, Dhafer Faiz, Lubna Abdel Kareim Gabralla, Mohammad Gamar, Abdul Hannan, Bedine Kerim, F. A. Mazarbhuiya, Ahmed Rabea, Muhammad Qaiser Saleem, Nimir Saleh, Mohamed Shenify

Proceedings of the 2015 International Conference on Learning and Teaching in Computing and Engineering, 2015