Ali E. Abdallah
Affiliations:- Birmingham City University
According to our database1,
Ali E. Abdallah
authored at least 42 papers
between 1995 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2019
Comput. Secur., 2019
Proceedings of the Trust, Privacy and Security in Digital Business, 2019
2018
Secur. Commun. Networks, 2018
Proceedings of the Foundations and Practice of Security - 11th International Symposium, 2018
2017
Proceedings of the Information Security Practice and Experience, 2017
Proceedings of the Risks and Security of Internet and Systems, 2017
Proceedings of the 31st International Conference on Advanced Information Networking and Applications Workshops, 2017
Proceedings of the 31st International Conference on Advanced Information Networking and Applications Workshops, 2017
2016
On the use of fingernail images as transient biometric identifiers - Biometric recognition using fingernail images.
Mach. Vis. Appl., 2016
2011
Privacy-enhancing Cryptography-based Materials.
Proceedings of the SECRYPT 2011 - Proceedings of the International Conference on Security and Cryptography, Seville, Spain, 18, 2011
2010
Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2010
Threat modeling approaches and tools for securing architectural designs of an e-banking application.
Proceedings of the Sixth International Conference on Information Assurance and Security, 2010
Audited credential delegation - a user-centric identity management solution for computational grid environments.
Proceedings of the Sixth International Conference on Information Assurance and Security, 2010
Proceedings of the Sixth International Conference on Information Assurance and Security, 2010
2009
ACM SIGCSE Bull., 2009
Proceedings of the Proceedings Second Workshop on Formal Aspects of Virtual Organisations, 2009
Proceedings of the 4th International Conference for Internet Technology and Secured Transactions, 2009
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009
2008
Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, 2008
Composition and Customization of Web Services Using Wrappers: A Formal Approach Based on CSP.
Proceedings of the 32nd Annual IEEE Software Engineering Workshop, 2008
Proceedings of the Leveraging Applications of Formal Methods, 2008
Weaving Authentication and Authorization Requirements into the Functional Model of a System Using Z Promotion.
Proceedings of the Leveraging Applications of Formal Methods, 2008
Comparison and Evaluation of Identity Management in Three Architectures for Virtual Organizations.
Proceedings of the Proccedings of the Fourth International Conference on Information Assurance and Security, 2008
Proceedings of the Proccedings of the Fourth International Conference on Information Assurance and Security, 2008
2006
Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006
2004
Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004
Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004
2003
Formal Behavioural Synthesis of Handel-C Parallel Hardware Implementations from Functional Specifications.
Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003
2002
An Overview of Systematic Development of Parallel Systems for Reconfigurable Hardware (Research Note).
Proceedings of the Euro-Par 2002, 2002
2001
Proceedings of the 2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 2001
Proceedings of the 2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 2001
2000
An Integrated CSP-Based Tool for the Visualisation, Animation and Performance Evaluation of Message Passing Algorithms.
Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000
Filter Promotion Transformation Strategies for Deriving Efficient Programs from Z Specifications.
Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000
Proceedings of the 2000 7th IEEE International Conference on Electronics, 2000
Proceedings of the 2000 7th IEEE International Conference on Electronics, 2000
1999
Interfacing Java with Haskell.
Proceedings of the Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), 1999
Formal Derivation of Two Parallel Rendering Algorithms.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999
1998
A Graphical Tool for the Visualization and Animation of Communicating Sequential Processes.
Proceedings of the Euro-Par '98 Parallel Processing, 1998
1997
Derivation of Efficient Parallel Algorithms on a Ring of Processors.
Proceedings of the IASTED International Conference on Parallel and Distributed Systems, 1997
1996
Proceedings of the Euro-Par '96 Parallel Processing, 1996
1995
Proceedings of the Mathematics of Program Construction, 1995