Farah Al-Shareefi

According to our database, Farah Al-Shareefi authored at least 6 papers between 2017 and 2024.

Collaborative distances:

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

2024

A Multi-Agent Framework for Penetration Testing: Modelling and Analysing Using Abstract State Machines.

Farah Al-Shareefi, Ge Chu, Alexei Lisitsa

Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2024

Penetration Testing for Securing IoT-Enabled Healthcare Systems: A Focus on Wearable Devices and Remote Surgery.

Ge Chu, Farah Al-Shareefi, Haoyu Wu, Yongle Hu, Shiping Yan

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2024

2019

Analysing safety-critical systems and security protocols with abstract state machines.

Farah Al-Shareefi

PhD thesis, 2019

Analysing Security Protocols Using Scenario Based Simulation.

Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2019

2018

Clarification of Ambiguity for the Simple Authentication and Security Layer.

Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems.

Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017