Cristian Ene

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