Ali E. Abdallah

44 papers B 3C 16Misc 1Journal 5Unranked 17

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