| 2019 | TrustBus | Decentralised and Collaborative Auditing of Workflows. | Antonio Nehme, Vitor Jesus, Khaled Mahbub, Ali E. Abdallah |
| 2017 | AINA | A Trust Management Framework for Network Applications within an SDN Environment. | Aliyu Lawal Aliyu, Peter Bull, Ali E. Abdallah |
| 2017 | AINA | Performance Implication and Analysis of the OpenFlow SDN Protocol. | Aliyu Lawal Aliyu, Peter Bull, Ali E. Abdallah |
| 2017 | CRiSIS | Towards an Anonymity Supported Platform for Shared Cyber Threat Intelligence. | Thomas D. Wagner, Esther Palomar, Khaled Mahbub, Ali E. Abdallah |
| 2017 | ISPEC | Relevance Filtering for Shared Cyber Threat Intelligence (Short Paper). | Thomas D. Wagner, Esther Palomar, Khaled Mahbub, Ali E. Abdallah |
| 2011 | SECRYPT | Privacy-enhancing Cryptography-based Materials. | Almudena Alcaide, Esther Palomar, Israel Barroso-Perez, Ali E. Abdallah |
| 2010 | ESORICS | L-PEP: A Logic to Reason about Privacy-Enhancing Cryptography Protocols. | Almudena Alcaide, Ali E. Abdallah, Ana Isabel Gonzlez-Tablas Ferreres, Jos Mara de Fuentes |
| 2009 | ICECCS | Abstractions of Web Services. | Ali Nasrat Haidar, Ali E. Abdallah |
| 2008 | ISoLA | Weaving Authentication and Authorization Requirements into the Functional Model of a System Using Z Promotion. | Ali Nasrat Haidar, Ali E. Abdallah |
| 2008 | ISoLA | Composition of Web Services Using Wrappers. | Ali Nasrat Haidar, Ali E. Abdallah |
| 2008 | SEW | Composition and Customization of Web Services Using Wrappers: A Formal Approach Based on CSP. | Ali Nasrat Haidar, Ali E. Abdallah |
| 2006 | SEW | Formal Z Specifications of Several Flat Role-Based Access Control Models. | Ali E. Abdallah, Etienne J. Khayat |
| 2002 | EuroPar | An Overview of Systematic Development of Parallel Systems for Reconfigurable Hardware (Research Note). | John Hawkins, Ali E. Abdallah |
| 2001 | AICCSA | A Functional View of Parallel Computer Graphics. | Ali E. Abdallah, Theoharis Theoharis |
| 2001 | AICCSA | A Generic Functional Genetic Algorithm. | John Hawkins, Ali E. Abdallah |
| 2000 | ICFEM | Filter Promotion Transformation Strategies for Deriving Efficient Programs from Z Specifications. | Ali E. Abdallah |
| 2000 | ICFEM | An Integrated CSP-Based Tool for the Visualisation, Animation and Performance Evaluation of Message Passing Algorithms. | Ali E. Abdallah, Mark Green |
| 1999 | PDPTA | Formal Derivation of Two Parallel Rendering Algorithms. | Theoharis Theoharis, Ali E. Abdallah |
| 1998 | EuroPar | A Graphical Tool for the Visualization and Animation of Communicating Sequential Processes. | Ali E. Abdallah |
| 1996 | EuroPar | Synthesis of Massively Pipelined Algorithms for List Manipulation. | Ali E. Abdallah |
| 1995 | MPC | Derivation of Parallel Algorithms from Functional Specifications to CSP Processes. | Ali E. Abdallah |