Cristian Ene

	2009
16		Cristian Ene, Yassine Lakhnech, Van Chan Ngo: Formal Indistinguishability Extended to the Random Oracle Model. ESORICS 2009: 555-570
15		Jean-François Monin, Cristian Ene, Michaël Périn: Gentzen-Prawitz Natural Deduction as a Teaching Tool CoRR abs/0907.3599: (2009)
	2008
14		Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech: Towards automated proofs for asymmetric encryption schemes in the random oracle model. ACM Conference on Computer and Communications Security 2008: 371-380
	2007
13		Judicaël Courant, Cristian Ene, Yassine Lakhnech: Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption. FSTTCS 2007: 364-375
	2005
12		Liana Bozga, Cristian Ene, Romain Janvier, Yassine Lakhnech, Laurent Mazaré, Michaël Périn: Automatic Verification of Security Properties Based on Abstractions. VISSAS 2005: 23-53
11		Liana Bozga, Cristian Ene, Yassine Lakhnech: A symbolic decision procedure for cryptographic protocols with time stamps. J. Log. Algebr. Program. 65(1): 1-35 (2005)
	2004
10		Liana Bozga, Cristian Ene, Yassine Lakhnech: A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps (Extended Abstract). CONCUR 2004: 177-192
9		Liana Bozga, Cristian Ene, Yassine Lakhnech: On the Existence of an Effective and Complete Inference System for Cryptographic Protocols. FoSSaCS 2004: 42-57
	2002
8		Cristian Ene, Traian Muntean: Testing Theories for Broadcasting Processes. Sci. Ann. Cuza Univ. 11: 214-230 (2002)
	2001
7		Cristian Ene, Traian Muntean: A Broadcast-based Calculus for Communicating Systems. IPDPS 2001: 149
	1999
6		Cristian Ene, Traian Muntean: Expressiveness of Point-to-Point versus Broadcast Communications. FCT 1999: 258-268
	1998
5		Cristian Ene: On Complexity of Reachability of Transition Restricted Petri Nets. Sci. Ann. Cuza Univ. 7: 103-106 (1998)
	1997
4		Ferucio Laurentiu Tiplea, Cristian Ene: Hierarchies of Petri Net Languages and a Super-Normal Form. Journal of Automata, Languages and Combinatorics 2(3): 187-208 (1997)
	1995
3		Ferucio Laurentiu Tiplea, Cristian Ene: Hierarchies of Petri Net Languages and a Super-Normal Form. Developments in Language Theory 1995: 396-405
	1994
2		Ferucio Laurentiu Tiplea, Cristian Ene, Cecilia Magdalena Ionescu, Octavian Procopiuc: Some Decision Problems for Parallel Communicating Grammar Systems. Theor. Comput. Sci. 134(2): 365-385 (1994)
	1993
1		Ferucio Laurentiu Tiplea, Cristian Ene: A Coverability Structure for Parallel Communicating Grammar Systems. Elektronische Informationsverarbeitung und Kybernetik 29(5): 303-315 (1993)

Coauthor Index

1	Liana Bozga	[9] [10] [11] [12]
2	Judicaël Courant	[13] [14]
3	Marion Daubignard	[14]
4	Romain Janvier	[12]
5	Pascal Lafourcade	[14]
6	Yassine Lakhnech	[9] [10] [11] [12] [13] [14] [16]
7	Laurent Mazaré	[12]
8	Jean-François Monin	[15]
9	Traian Muntean	[6] [7] [8]
10	Van Chan Ngo	[16]
11	Michaël Périn	[12] [15]
12	Cecilia M. Procopiuc (Cecilia Magdalena Procopiuc, Cecilia Magdalena Ionescu)	[2]
13	Octavian Procopiuc	[2]
14	Ferucio Laurentiu Tiplea	[1] [2] [3] [4]

Colors in the list of coauthors