Cristian Ene

Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech: On Unique Decomposition of Processes in the Applied π-Calculus. FoSSaCS 2013: 50-64

Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech: Automated Proofs for Asymmetric Encryption. J. Autom. Reasoning 46(3-4): 261-291 (2011)

Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech: Automated Proofs for Asymmetric Encryption. Concurrency, Compositionality, and Correctness 2010: 300-321

Cristian Ene, Yassine Lakhnech, Van Chan Ngo: Formal Indistinguishability Extended to the Random Oracle Model. ESORICS 2009: 555-570

Jean-François Monin, Cristian Ene, Michaël Périn: Gentzen-Prawitz Natural Deduction as a Teaching Tool. CoRR abs/0907.3599 (2009)

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

Judicaël Courant, Cristian Ene, Yassine Lakhnech: Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption. FSTTCS 2007: 364-375

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)

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

Liana Bozga, Cristian Ene, Yassine Lakhnech: A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps (Extended Abstract). CONCUR 2004: 177-192

Liana Bozga, Cristian Ene, Yassine Lakhnech: On the Existence of an Effective and Complete Inference System for Cryptographic Protocols. FoSSaCS 2004: 42-57

Cristian Ene, Traian Muntean: Testing Theories for Broadcasting Processes. Sci. Ann. Cuza Univ. 11: 214-230 (2002)

Cristian Ene, Traian Muntean: A Broadcast-based Calculus for Communicating Systems. IPDPS 2001: 149

Cristian Ene, Traian Muntean: Expressiveness of Point-to-Point versus Broadcast Communications. FCT 1999: 258-268

Cristian Ene: On Complexity of Reachability of Transition Restricted Petri Nets. Sci. Ann. Cuza Univ. 7: 103-106 (1998)

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)

Ferucio Laurentiu Tiplea, Cristian Ene: Hierarchies of Petri Net Languages and a Super-Normal Form. Developments in Language Theory 1995: 396-405

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)

Ferucio Laurentiu Tiplea, Cristian Ene: A Coverability Structure for Parallel Communicating Grammar Systems. Elektronische Informationsverarbeitung und Kybernetik 29(5): 303-315 (1993)