Farah Al-Shareefi

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

Collaborative distances:

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

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