Farah Al-Shareefi

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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...