Edit Profile (opens in new tab) Almousa, Omar Co-Author Distance Author ID: almousa.omar Published as: Almousa, Omar Documents Indexed: 2 Publications since 2015 Co-Authors: 3 Co-Authors with 2 Joint Publications 62 Co-Co-Authors Co-Authors 0 single-authored 2 Mödersheim, Sebastian Alexander 2 Viganò, Luca 1 Modesti, Paolo Serials Fields 2 Computer science (68-XX) 2 Information and communication theory, circuits (94-XX) Publications by Year Citations contained in zbMATH Open 2 Publications have been cited 3 times in 3 Documents Cited by ▼ Year ▼ Alice and Bob: reconciling formal models and implementation. Zbl 1434.68294 Almousa, Omar; Mödersheim, Sebastian; Viganò, Luca 2 2015 Typing and compositionality for security protocols: a generalization to the geometric fragment. Zbl 1499.68043 Almousa, Omar; Mödersheim, Sebastian; Modesti, Paolo; Viganò, Luca 1 2015 Alice and Bob: reconciling formal models and implementation. Zbl 1434.68294 Almousa, Omar; Mödersheim, Sebastian; Viganò, Luca 2 2015 Typing and compositionality for security protocols: a generalization to the geometric fragment. Zbl 1499.68043 Almousa, Omar; Mödersheim, Sebastian; Modesti, Paolo; Viganò, Luca 1 2015 all top 5 Cited by 9 Authors 3 Mödersheim, Sebastian Alexander 1 Almousa, Omar 1 Brucker, Achim D. 1 Bruni, Alessandro 1 Carbone, Marco 1 Giustolisi, Rosario 1 Hess, Andreas V. 1 Schürmann, Carsten 1 Viganò, Luca Cited in 0 Serials Cited in 2 Fields 3 Computer science (68-XX) 3 Information and communication theory, circuits (94-XX) Citations by Year