Ali E. Abdallah

Publication Activity (10 Years)

Years Active: 1995-2019
Publications (10 Years): 10

Top Topics

Law Enforcement Agencies

Countermeasures

Crime Investigation

Fine Grained Access Control

Top Venues

Publications

Thomas D. Wagner, Khaled Mahbub, Esther Palomar, Ali E. Abdallah
Cyber threat intelligence sharing: Survey and research directions. Comput. Secur. 87 (2019)
Antonio Nehme, Vitor Jesus, Khaled Mahbub, Ali E. Abdallah
Decentralised and Collaborative Auditing of Workflows. TrustBus (2019)
Antonio Nehme, Vitor Jesus, Khaled Mahbub, Ali E. Abdallah
Securing Microservices. IT Prof. 21 (1) (2019)
Thomas D. Wagner, Esther Palomar, Khaled Mahbub, Ali E. Abdallah
A Novel Trust Taxonomy for Shared Cyber Threat Intelligence. Secur. Commun. Networks 2018 (2018)
Antonio Nehme, Vitor Jesus, Khaled Mahbub, Ali E. Abdallah
Fine-Grained Access Control for Microservices. FPS (2018)
Thomas D. Wagner, Esther Palomar, Khaled Mahbub, Ali E. Abdallah
Relevance Filtering for Shared Cyber Threat Intelligence (Short Paper). ISPEC (2017)
Aliyu Lawal Aliyu, Peter Bull, Ali E. Abdallah
Performance Implication and Analysis of the OpenFlow SDN Protocol. AINA Workshops (2017)
Aliyu Lawal Aliyu, Peter Bull, Ali E. Abdallah
A Trust Management Framework for Network Applications within an SDN Environment. AINA Workshops (2017)
Thomas D. Wagner, Esther Palomar, Khaled Mahbub, Ali E. Abdallah
Towards an Anonymity Supported Platform for Shared Cyber Threat Intelligence. CRiSIS (2017)
Igor Barros Barbosa, Theoharis Theoharis, Ali E. Abdallah
On the use of fingernail images as transient biometric identifiers - Biometric recognition using fingernail images. Mach. Vis. Appl. 27 (1) (2016)
Almudena Alcaide, Esther Palomar, Israel Barroso-Perez, Ali E. Abdallah
Privacy-enhancing Cryptography-based Materials. SECRYPT (2011)
Maya I. Chehab, Ali E. Abdallah
Assurance in identity management systems. IAS (2010)
Ali Nasrat Haidar, Stefan J. Zasada, Peter V. Coveney, Ali E. Abdallah, Bruce Beckles
Audited credential delegation - a user-centric identity management solution for computational grid environments. IAS (2010)
Almudena Alcaide, Ali E. Abdallah, Ana Isabel González-Tablas Ferreres, José María de Fuentes
L-PEP: A Logic to Reason about Privacy-Enhancing Cryptography Protocols. DPM/SETOP (2010)
Caroline Moeckel, Ali E. Abdallah
Threat modeling approaches and tools for securing architectural designs of an e-banking application. IAS (2010)
Ali Nasrat Haidar, Ali E. Abdallah
Formal Modelling of PKI Based Authentication. Electron. Notes Theor. Comput. Sci. 235 (2009)
Maya I. Chehab, Ali E. Abdallah
Architectures for identity management. ICITST (2009)
Stephen Cooper, Christine Nickell, Victor P. Piotrowski Jr., Brenda Oldfield, Ali E. Abdallah, Matt Bishop, Bill Caelli, Melissa Dark, Elizabeth K. Hawthorne, Lance J. Hoffman, Lance C. Pérez, Charles P. Pfleeger, Richard A. Raines, Corey D. Schou, Joel Brynielsson
An exploration of the current state of information assurance education. ACM SIGCSE Bull. 41 (4) (2009)
Ali Nasrat Haidar, Peter V. Coveney, Ali E. Abdallah, Peter Y. A. Ryan, Bruce Beckles, J. M. Brooke, M. A. S. Jones
Formal Modelling of a Usable Identity Management Solution for Virtual Organisations FAVO (2009)
Ali Nasrat Haidar, Ali E. Abdallah
Abstractions of Web Services. ICECCS (2009)
Ali Nasrat Haidar, Ali E. Abdallah
Comparison and Evaluation of Identity Management in Three Architectures for Virtual Organizations. IAS (2008)
Ali E. Abdallah, Hassan Takabi
Integrating Delegation with the Formal Core RBAC Model. IAS (2008)
Ali Nasrat Haidar, Ali E. Abdallah
Composition of Web Services Using Wrappers. ISoLA (2008)
Ali Nasrat Haidar, Ali E. Abdallah
Composition and Customization of Web Services Using Wrappers: A Formal Approach Based on CSP. SEW (2008)
Ali Nasrat Haidar, Ali E. Abdallah
Weaving Authentication and Authorization Requirements into the Functional Model of a System Using Z Promotion. ISoLA (2008)
Ali E. Abdallah, Etienne J. Khayat
Formal Z Specifications of Several Flat Role-Based Access Control Models. SEW (2006)
Ali E. Abdallah, Etienne J. Khayat
A Formal Model for Parameterized Role-Based Access Control. Formal Aspects in Security and Trust (2004)
John Hawkins, Ali E. Abdallah
Hardware Synthesis of a Parallel JPEG Decoder from its Functional Specification. DIPES (2004)
Ali E. Abdallah, John Hawkins
Formal Behavioural Synthesis of Handel-C Parallel Hardware Implementations from Functional Specifications. HICSS (2003)
John Hawkins, Ali E. Abdallah
An Overview of Systematic Development of Parallel Systems for Reconfigurable Hardware (Research Note). Euro-Par (2002)
Ali E. Abdallah, Theoharis Theoharis
A Functional View of Parallel Computer Graphics. AICCSA (2001)
John Hawkins, Ali E. Abdallah
A Generic Functional Genetic Algorithm. AICCSA (2001)
Ali E. Abdallah, G. Simiakakis, Theoharis Theoharis
Formal development of a reconfigurable tool for parallel DNA matching. ICECS (2000)
Ali E. Abdallah, Mark Green
An Integrated CSP-Based Tool for the Visualisation, Animation and Performance Evaluation of Message Passing Algorithms. ICFEM (2000)
Ali E. Abdallah, John Hawkins
Calculational design of special purpose parallel algorithms. ICECS (2000)
Ali E. Abdallah
Filter Promotion Transformation Strategies for Deriving Efficient Programs from Z Specifications. ICFEM (2000)
Theoharis Theoharis, Ali E. Abdallah
Formal Derivation of Two Parallel Rendering Algorithms. PDPTA (1999)
Mark Green, Ali E. Abdallah
Interfacing Java with Haskell. Scottish Functional Programming Workshop (1999)
Ali E. Abdallah
A Graphical Tool for the Visualization and Animation of Communicating Sequential Processes. Euro-Par (1998)
Ali E. Abdallah, Theoharis Theoharis
Derivation of Efficient Parallel Algorithms on a Ring of Processors. Euro-PDS (1997)
Ali E. Abdallah
Synthesis of Massively Pipelined Algorithms for List Manipulation. Euro-Par, Vol. II (1996)
Ali E. Abdallah
Derivation of Parallel Algorithms from Functional Specifications to CSP Processes. MPC (1995)