Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems. - Farah Al-Shareefi; Alexei Lisitsa 001; Clare Dixon (SBMF, 2017)

Clarification of Ambiguity for the Simple Authentication and Security Layer. - Farah Al-Shareefi; Alexei Lisitsa 001; Clare Dixon (ABZ, 2018)

Analysing Security Protocols Using Scenario Based Simulation. - Farah Al-Shareefi; Alexei Lisitsa 001; Clare Dixon (VECoS, 2019)

Analysing safety-critical systems and security protocols with abstract state machines. - Farah Al-Shareefi (2019)

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 (BIBM, 2024)

A Multi-Agent Framework for Penetration Testing: Modelling and Analysing Using Abstract State Machines. - Farah Al-Shareefi; Ge Chu; Alexei Lisitsa 001 (ISPA, 2024)