Cristian Ene

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 9

Top Topics

Maximum Satisfiability

Top Venues

Publications

Thomas Vigouroux, Marius Bozga, Cristian Ene, Laurent Mounier
Function Synthesis for Maximizing Model Counting. VMCAI (1) (2024)
Thomas Vigouroux, Marius Bozga, Cristian Ene, Laurent Mounier
Function synthesis for maximizing model counting. CoRR (2023)
Thomas Vigouroux, Cristian Ene, David Monniaux, Laurent Mounier, Marie-Laure Potet
BaxMC: a CEGAR approach to Max#SAT. FMCAD (2022)
Thomas Vigouroux, Cristian Ene, David Monniaux, Laurent Mounier, Marie-Laure Potet
BAXMC: a CEGAR approach to Max\#SAT. CoRR (2022)
Cristian Ene, Laurent Mounier, Marie-Laure Potet
Output-sensitive Information flow analysis. Log. Methods Comput. Sci. 17 (1) (2021)
Etienne Boespflug, Cristian Ene, Laurent Mounier, Marie-Laure Potet
Countermeasures Optimization in Multiple Fault-Injection Context. FDTC (2020)
Cristian Ene, Laurent Mounier, Marie-Laure Potet
Output-Sensitive Information Flow Analysis. FORTE (2019)
Cristian Ene, Laurent Mounier, Marie-Laure Potet
Output-sensitive Information flow analysis. CoRR (2019)
Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
On the existence and decidability of unique decompositions of processes in the applied π-calculus. Theor. Comput. Sci. 612 (2016)
Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
On Unique Decomposition of Processes in the Applied π-Calculus. FoSSaCS (2013)
Cristian Ene, Clémentine Gritti, Yassine Lakhnech
CIL Security Proof for a Password-Based Key Exchange. ProvSec (2013)
Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
Automated Proofs for Asymmetric Encryption. J. Autom. Reason. 46 (3-4) (2011)
Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
Automated Proofs for Asymmetric Encryption. Concurrency, Compositionality, and Correctness (2010)
Cristian Ene, Yassine Lakhnech, Van Chan Ngo
Formal Indistinguishability Extended to the Random Oracle Model. ESORICS (2009)
Jean-François Monin, Cristian Ene, Michaël Périn
Gentzen-Prawitz Natural Deduction as a Teaching Tool CoRR (2009)
Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
Towards automated proofs for asymmetric encryption schemes in the random oracle model. CCS (2008)
Judicaël Courant, Cristian Ene, Yassine Lakhnech
Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption. FSTTCS (2007)
Liana Bozga, Cristian Ene, Yassine Lakhnech
A symbolic decision procedure for cryptographic protocols with time stamps. J. Log. Algebraic Methods Program. 65 (1) (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)
Liana Bozga, Cristian Ene, Yassine Lakhnech
On the Existence of an Effective and Complete Inference System for Cryptographic Protocols. FoSSaCS (2004)
Liana Bozga, Cristian Ene, Yassine Lakhnech
A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps (Extended Abstract). CONCUR (2004)
Cristian Ene, Traian Muntean
Testing Theories for Broadcasting Processes. Sci. Ann. Cuza Univ. 11 (2002)
Cristian Ene, Traian Muntean
A Broadcast-based Calculus for Communicating Systems. IPDPS (2001)
Cristian Ene, Traian Muntean
Expressiveness of Point-to-Point versus Broadcast Communications. FCT (1999)
Cristian Ene
On Complexity of Reachability of Transition Restricted Petri Nets. Sci. Ann. Cuza Univ. 7 (1998)
Ferucio Laurentiu Tiplea, Cristian Ene
Hierarchies of Petri Net Languages and a Super-Normal Form. J. Autom. Lang. Comb. 2 (3) (1997)
Ferucio Laurentiu Tiplea, Cristian Ene
Hierarchies of Petri Net Languages and a Super-Normal Form. Developments in Language Theory (1995)
Ferucio Laurentiu Tiplea, Cristian Ene, Cecilia Magdalena Ionescu, Octavian Procopiuc
Some Decision Problems for Parallel Communicating Grammar Systems. Theor. Comput. Sci. 134 (2) (1994)
Ferucio Laurentiu Tiplea, Cristian Ene
A Coverability Structure for Parallel Communicating Grammar Systems. J. Inf. Process. Cybern. 29 (5) (1993)