Login / Signup
Omar Almousa
ORCID
Publication Activity (10 Years)
Years Active: 2015-2022
Publications (10 Years): 1
Top Topics
Artificial Immune Algorithm
Security Protocols
Implementation Details
Formal Models
Top Venues
Int. J. Distributed Sens. Networks
Programming Languages with Applications to Biology and Security
ESORICS (2)
</>
Publications
</>
Yahya M. Tashtoush
,
Dirar A. Darweesh
,
Ola Karajeh
,
Omar A. Darwish
,
Majdi Maabreh
,
Safa' Swedat
,
Rawan Koraysh
,
Omar Almousa
,
Nasser Alsaedi
Survey on authentication and security protocols and schemes over 5G networks.
Int. J. Distributed Sens. Networks
18 (10) (2022)
Omar Almousa
,
Sebastian Mödersheim
,
Luca Viganò
Alice and Bob: Reconciling Formal Models and Implementation.
Programming Languages with Applications to Biology and Security
(2015)
Omar Almousa
,
Sebastian Mödersheim
,
Paolo Modesti
,
Luca Viganò
Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment.
ESORICS (2)
(2015)