| 2008 |
|---|
| 14 | EE | 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 |
| 2007 |
|---|
| 13 | EE | Judicaël Courant,
Cristian Ene,
Yassine Lakhnech:
Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption.
FSTTCS 2007: 364-375 |
| 2005 |
|---|
| 12 | | 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 |
| 11 | EE | 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) |
| 2004 |
|---|
| 10 | EE | Liana Bozga,
Cristian Ene,
Yassine Lakhnech:
A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps (Extended Abstract).
CONCUR 2004: 177-192 |
| 9 | EE | Liana Bozga,
Cristian Ene,
Yassine Lakhnech:
On the Existence of an Effective and Complete Inference System for Cryptographic Protocols.
FoSSaCS 2004: 42-57 |
| 2002 |
|---|
| 8 | | Cristian Ene,
Traian Muntean:
Testing Theories for Broadcasting Processes.
Sci. Ann. Cuza Univ. 11: 214-230 (2002) |
| 2001 |
|---|
| 7 | | Cristian Ene,
Traian Muntean:
A Broadcast-based Calculus for Communicating Systems.
IPDPS 2001: 149 |
| 1999 |
|---|
| 6 | EE | Cristian Ene,
Traian Muntean:
Expressiveness of Point-to-Point versus Broadcast Communications.
FCT 1999: 258-268 |
| 1998 |
|---|
| 5 | | Cristian Ene:
On Complexity of Reachability of Transition Restricted Petri Nets.
Sci. Ann. Cuza Univ. 7: 103-106 (1998) |
| 1997 |
|---|
| 4 | | 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) |
| 1995 |
|---|
| 3 | | Ferucio Laurentiu Tiplea,
Cristian Ene:
Hierarchies of Petri Net Languages and a Super-Normal Form.
Developments in Language Theory 1995: 396-405 |
| 1994 |
|---|
| 2 | | 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) |
| 1993 |
|---|
| 1 | | Ferucio Laurentiu Tiplea,
Cristian Ene:
A Coverability Structure for Parallel Communicating Grammar Systems.
Elektronische Informationsverarbeitung und Kybernetik 29(5): 303-315 (1993) |
