Ali E. Abdallah

	2011
30		Almudena Alcaide, Esther Palomar, Israel Barroso-Perez, Ali E. Abdallah: Privacy-enhancing Cryptography-based Materials. SECRYPT 2011: 379-382
	2010
29		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: 108-122
28		Caroline Moeckel, Ali E. Abdallah: Threat modeling approaches and tools for securing architectural designs of an e-banking application. IAS 2010: 149-154
27		Maya I. Chehab, Ali E. Abdallah: Assurance in identity management systems. IAS 2010: 216-221
26		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: 222-227
	2009
25		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: 41-50
24		Ali Nasrat Haidar, Ali E. Abdallah: Abstractions of Web Services. ICECCS 2009: 182-191
23		Maya I. Chehab, Ali E. Abdallah: Architectures for identity management. ICITST 2009: 1-8
22		Ali Nasrat Haidar, Ali E. Abdallah: Formal Modelling of PKI Based Authentication. Electr. Notes Theor. Comput. Sci. 235: 55-70 (2009)
	2008
21		Ali Nasrat Haidar, Ali E. Abdallah: Comparison and Evaluation of Identity Management in Three Architectures for Virtual Organizations. IAS 2008: 21-26
20		Ali E. Abdallah, Hassan Takabi: Integrating Delegation with the Formal Core RBAC Model. IAS 2008: 33-36
19		Ali Nasrat Haidar, Ali E. Abdallah: Weaving Authentication and Authorization Requirements into the Functional Model of a System Using Z Promotion. ISoLA 2008: 831-846
18		Ali Nasrat Haidar, Ali E. Abdallah: Composition of Web Services Using Wrappers. ISoLA 2008: 862-865
	2006
17		Ali E. Abdallah, Etienne J. Khayat: Formal Z Specifications of Several Flat Role-Based Access Control Models. SEW 2006: 282-292
	2005
16		Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders: 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 Springer 2005
	2004
15		John Hawkins, Ali E. Abdallah: Hardware Synthesis of a Parallel JPEG Decoder from its Functional Specification. DIPES 2004: 197-206
14		Ali E. Abdallah, Etienne J. Khayat: A Formal Model for Parameterized Role-Based Access Control. Formal Aspects in Security and Trust 2004: 233-246
	2003
13		Ali E. Abdallah, Peter Ryan, Steve Schneider: Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers Springer 2003
12		Ali E. Abdallah, John Hawkins: Formal Behavioural Synthesis of Handel-C Parallel Hardware Implementations from Functional Specifications. HICSS 2003: 278
	2002
11		John Hawkins, Ali E. Abdallah: An Overview of Systematic Development of Parallel Systems for Reconfigurable Hardware (Research Note). Euro-Par 2002: 615-619
	2001
10		John Hawkins, Ali E. Abdallah: A Generic Functional Genetic Algorithm. AICCSA 2001: 11-17
9		Ali E. Abdallah, Theoharis Theoharis: A Functional View of Parallel Computer Graphics. AICCSA 2001: 242-
	2000
8		Ali E. Abdallah: Filter Promotion Transformation Strategies for Deriving Efficient Programs from Z Specifications. ICFEM 2000: 157-168
7		Ali E. Abdallah, Mark Green: An Integrated CSP-Based Tool for the Visualisation, Animation and Performance Evaluation of Message Passing Algorithms. ICFEM 2000: 189-
	1999
6		Theoharis Theoharis, Ali E. Abdallah: Formal Derivation of Two Parallel Rendering Algorithms. PDPTA 1999: 1444-1450
5		Mark Green, Ali E. Abdallah: Interfacing Java with Haskell. Scottish Functional Programming Workshop 1999: 79-88
	1998
4		Ali E. Abdallah: A Graphical Tool for the Visualization and Animation of Communicating Sequential Processes. Euro-Par 1998: 165-172
	1997
3		Ali E. Abdallah, Theoharis Theoharis: Derivation of Efficient Parallel Algorithms on a Ring of Processors. Euro-PDS 1997: 61-66
	1996
2		Ali E. Abdallah: Synthesis of Massively Pipelined Algorithms for List Manipulation. Euro-Par, Vol. II 1996: 911-920
	1995
1		Ali E. Abdallah: Derivation of Parallel Algorithms from Functional Specifications to CSP Processes. MPC 1995: 67-96

Coauthor Index

1	Almudena Alcaide	[29] [30]
2	Israel Barroso-Perez	[30]
3	Bruce Beckles	[25] [26]
4	J. M. Brooke	[25]
5	Maya I. Chehab	[23] [27]
6	Peter V. Coveney	[25] [26]
7	Ana Isabel González-Tablas Ferreres	[29]
8	José María de Fuentes	[29]
9	Mark Green	[5] [7]
10	Ali Nasrat Haidar	[18] [19] [21] [22] [24] [25] [26]
11	John Hawkins	[10] [11] [12] [15]
12	Cliff B. Jones (Clifford B. Jones)	[16]
13	M. A. S. Jones	[25]
14	Etienne J. Khayat	[14] [17]
15	Caroline Moeckel	[28]
16	Esther Palomar	[30]
17	Peter Y. A. Ryan (Peter Ryan)	[13] [25]
18	Jeff W. Sanders (Jeffrey W. Sanders)	[16]
19	Steve A. Schneider (Steve Schneider)	[13]
20	Hassan Takabi	[20]
21	Theoharis Theoharis	[3] [6] [9]
22	Stefan J. Zasada	[26]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page