Omar Almousa

According to our database, Omar Almousa authored at least 4 papers between 2015 and 2022.

Collaborative distances:

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

2022

Survey on authentication and security protocols and schemes over 5G networks.

Yahya M. Tashtoush, Dirar A. Darweesh, Ola Karajeh, Omar A. Darwish, Majdi Maabreh, Safa' Swedat, Rawan Koraysh, Omar Almousa, Nasser Alsaedi

Int. J. Distributed Sens. Networks, 2022

2016

Security Protocols: Specification, Verification, Implementation, and Composition.

Omar Almousa

PhD thesis, 2016

2015

Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment.

Omar Almousa, Sebastian Mödersheim, Paolo Modesti, Luca Viganò

Proceedings of the Computer Security - ESORICS 2015, 2015

Alice and Bob: Reconciling Formal Models and Implementation.

Omar Almousa, Sebastian Mödersheim, Luca Viganò

Proceedings of the Programming Languages with Applications to Biology and Security, 2015