| 2024 | VMCAI | Function Synthesis for Maximizing Model Counting. | Thomas Vigouroux, Marius Bozga, Cristian Ene, Laurent Mounier |
| 2022 | FMCAD | BaxMC: a CEGAR approach to Max#SAT. | Thomas Vigouroux, Cristian Ene, David Monniaux, Laurent Mounier, Marie-Laure Potet |
| 2020 | FDTC | Countermeasures Optimization in Multiple Fault-Injection Context. | Etienne Boespflug, Cristian Ene, Laurent Mounier, Marie-Laure Potet |
| 2019 | FORTE | Output-Sensitive Information Flow Analysis. | Cristian Ene, Laurent Mounier, Marie-Laure Potet |
| 2013 | FOSSACS | On Unique Decomposition of Processes in the Applied π-Calculus. | Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech |
| 2013 | ProvSec | CIL Security Proof for a Password-Based Key Exchange. | Cristian Ene, Clmentine Gritti, Yassine Lakhnech |
| 2009 | ESORICS | Formal Indistinguishability Extended to the Random Oracle Model. | Cristian Ene, Yassine Lakhnech, Van Chan Ngo |
| 2008 | CCS | Towards automated proofs for asymmetric encryption schemes in the random oracle model. | Judical Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech |
| 2004 | CONCUR | A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps (Extended Abstract). | Liana Bozga, Cristian Ene, Yassine Lakhnech |
| 2004 | FOSSACS | On the Existence of an Effective and Complete Inference System for Cryptographic Protocols. | Liana Bozga, Cristian Ene, Yassine Lakhnech |
| 1999 | FCT | Expressiveness of Point-to-Point versus Broadcast Communications. | Cristian Ene, Traian Muntean |
| 1995 | DLT | Hierarchies of Petri Net Languages and a Super-Normal Form. | Ferucio Laurentiu Tiplea, Cristian Ene |