Farah Al-Shareefi

Orcid: 0000-0003-4086-9985

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Penetration Testing for Securing IoT-Enabled Healthcare Systems: A Focus on Wearable Devices and Remote Surgery.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2024

2019
Analysing safety-critical systems and security protocols with abstract state machines.
PhD thesis, 2019

Analysing Security Protocols Using Scenario Based Simulation.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2019

2018
Clarification of Ambiguity for the Simple Authentication and Security Layer.
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.
Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017


  Loading...