Omar Almousa
Titel
Geciteerd door
Geciteerd door
Jaar
Users' classification and usage-pattern identification in academic social networks
O Almousa
2011 IEEE Jordan Conference on Applied Electrical Engineering and Computing …, 2011
642011
cDNA microarray genome image processing using fixed spot position
B Alhadidi, HN Fakhouri, OS AlMousa
American Journal of Applied Sciences 3 (2), 1730-1734, 2006
322006
Typing and compositionality for security protocols: A generalization to the geometric fragment
O Almousa, S Mödersheim, P Modesti, L Viganò
European Symposium on Research in Computer Security, 209-229, 2015
232015
Alice and Bob: Reconciling formal models and implementation
O Almousa, S Mödersheim, L Viganò
Programming Languages with Applications to Biology and Security, 66-85, 2015
152015
Alice and Bob: reconciling formal models and implementation (Extended Version)
O Almousa, S Mödersheim, L Vigano
Technical report, DTU Compute, 2015. Available at http://www. imm. dtu. dk …, 2015
5*2015
Users' Distribution and Behavior in Academic Social Networking Sites
OS Almousa
International Journal of e-Collaboration (IJeC) 14 (3), 49-65, 2019
22019
Typing and Compositionality for Security Protocols: a Generalization to the Geometric Fragment (Extended Version), 2015
O Almousa, S Mödersheim, P Modesti, L Vigano
22015
Future AnB: The projected APS Language of FutureID. FutureID–WP42/D42. 3, 2013
O Almousa, S Mödersheim
22013
Conversation Frames: Yet Another Contextual Dimension for IPAs
O Almousa, H Migdadi
THE 25TH CONFERENCE OF FRUCT ASSOCIATION, 25 - 31, 2019
12019
Security Evaluation of FutureID
P Modesti, T Groß, S Mödersheim, O Almousa, D Houdeau
FutureID, 2015
12015
Security protocols: Specification, verification, implementation, and composition
OSK Almousa, S Mdersheim, H Nielson
Technical University of Denmark, Applied Mathematics and Computer Science, 2015
12015
Introducing a Machine Learning Password Metric Based on EFKM Clustering Algorithm
OS Almousa, H Migdady
International Journal of Communication Networks and Information Security 12 …, 2020
2020
Conversational Frames: Improving Conversation Context in Smart Personal Assistants
OS Almousa, H Migdady, M Al-Talib
International Journal of Embedded and Real-Time Communication Systems …, 2020
2020
CONFERENCE OF OPEN INNOVATION ASSOCIATION, FRUCT
OS Almousa, H Migdady, NV Bogdanova-Beglarian, OV Blinova, ...
IEEE Computer Society КОНФЕРЕНЦИЯ: 25TH CONFERENCE OF OPEN INNOVATIONS …, 2019
2019
An Analysis of Android Web App Manifest
OA Y Tashtoush, A Alsmadi, A AlAbdi, N Ababneh
Proceedings of the 23rd Conference of Open Innovations Association FRUCT, 2018
2018
Probably Secure Channels in SPS Language
O Almousa
New Trends in Information Technology (NTIT) Conference, 2017
2017
APS Files for Selected Authentication Protocols
SM DTU, MH TUD, P Modesti, OA DTU
2015
Alice and Bob: Reconciling formal models and implementation
O Almousa, S Mödersheim, L Viganò
Programming Languages with Applications to Biology and Security, 66-85, 2015
2015
Alice and Bob: Reconciling Formal Models and Implementation (extended abstract)
LV Omar Almousa, Sebastian Mödersheim
CryptoForma Workshop @ CSF2015, 2015
2015
of host publication: Proceedings of the 20th European Symposium on Research in Computer Security (ESORICS
O Almousa, SA Mödersheim, P Modesti, L Viganò
peer-review› Article in proceedings–Annual report year: 2015 9327, 209-229, 2015
2015
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20