Alice and Bob: Reconciling Formal Models and Implementation. - Omar Almousa; Sebastian Mödersheim; Luca Viganò 001 (Programming Languages with Applications to Biology and Security, 2015)

Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment. - Omar Almousa; Sebastian Mödersheim; Paolo Modesti; Luca Viganò 001 (ESORICS (2), 2015)

Security Protocols: Specification, Verification, Implementation, and Composition. - Omar Almousa (2016)

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)