Farah Al-Shareefi

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 3

Top Topics

Security Protocols

Cryptographic Algorithms

Regulatory Requirements

Top Venues

Publications

Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon
Analysing Security Protocols Using Scenario Based Simulation. VECoS (2019)
Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon
Clarification of Ambiguity for the Simple Authentication and Security Layer. ABZ (2018)
Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon
Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems. SBMF (2017)