A Coverability Structure for Parallel Communicating Grammar Systems. - Ferucio Laurentiu Tiplea; Cristian Ene (J. Inf. Process. Cybern., 1993)

Some Decision Problems for Parallel Communicating Grammar Systems. - Ferucio Laurentiu Tiplea; Cristian Ene; Cecilia Magdalena Ionescu; Octavian Procopiuc (Theor. Comput. Sci., 1994)

Hierarchies of Petri Net Languages and a Super-Normal Form. - Ferucio Laurentiu Tiplea; Cristian Ene (J. Autom. Lang. Comb., 1997)

On Complexity of Reachability of Transition Restricted Petri Nets. - Cristian Ene (Sci. Ann. Cuza Univ., 1998)

Expressiveness of Point-to-Point versus Broadcast Communications. - Cristian Ene; Traian Muntean (FCT, 1999)

A Broadcast-based Calculus for Communicating Systems. - Cristian Ene; Traian Muntean (IPDPS, 2001)

Testing Theories for Broadcasting Processes. - Cristian Ene; Traian Muntean (Sci. Ann. Cuza Univ., 2002)

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

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

Automatic Verification of Security Properties Based on Abstractions. - Liana Bozga; Cristian Ene; Romain Janvier; Yassine Lakhnech; Laurent Mazaré; Michaël Périn (VISSAS, 2005)

A symbolic decision procedure for cryptographic protocols with time stamps. - Liana Bozga; Cristian Ene; Yassine Lakhnech (J. Log. Algebraic Methods Program., 2005)

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

Towards automated proofs for asymmetric encryption schemes in the random oracle model. - Judicaël Courant; Marion Daubignard; Cristian Ene; Pascal Lafourcade 001; Yassine Lakhnech (CCS, 2008)

Formal Indistinguishability Extended to the Random Oracle Model. - Cristian Ene; Yassine Lakhnech; Van Chan Ngo (ESORICS, 2009)

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

Automated Proofs for Asymmetric Encryption. - Judicaël Courant; Marion Daubignard; Cristian Ene; Pascal Lafourcade 001; Yassine Lakhnech (J. Autom. Reason., 2011)

On Unique Decomposition of Processes in the Applied π-Calculus. - Jannik Dreier; Cristian Ene; Pascal Lafourcade 001; Yassine Lakhnech (FoSSaCS, 2013)

CIL Security Proof for a Password-Based Key Exchange. - Cristian Ene; Clémentine Gritti; Yassine Lakhnech (ProvSec, 2013)

On the existence and decidability of unique decompositions of processes in the applied π-calculus. - Jannik Dreier; Cristian Ene; Pascal Lafourcade 001; Yassine Lakhnech (Theor. Comput. Sci., 2016)

Countermeasures Optimization in Multiple Fault-Injection Context. - Etienne Boespflug; Cristian Ene; Laurent Mounier; Marie-Laure Potet (FDTC, 2020)

Output-sensitive Information flow analysis. - Cristian Ene; Laurent Mounier; Marie-Laure Potet (Log. Methods Comput. Sci., 2021)

BaxMC: a CEGAR approach to Max#SAT. - Thomas Vigouroux; Cristian Ene; David Monniaux; Laurent Mounier; Marie-Laure Potet (FMCAD, 2022)

[artifact50] Function synthesis for maximising model counting. - Thomas Vigouroux; Marius Bozga; Cristian Ene; Laurent Mounier (Zenodo, 2023)

[artifact50] Function synthesis for maximising model counting. - Thomas Vigouroux; Marius Bozga; Cristian Ene; Laurent Mounier (Zenodo, 2023)

[artifact50] Function synthesis for maximising model counting. - Thomas Vigouroux; Marius Bozga; Cristian Ene; Laurent Mounier (Zenodo, 2023)

Function Synthesis for Maximizing Model Counting. - Thomas Vigouroux; Marius Bozga; Cristian Ene; Laurent Mounier (VMCAI (1), 2024)