Travelled to:1 × Germany
1 × Italy
1 × Spain
Collaborated with:Y.Lakhnech F.L.Tiplea L.Bozga J.Dreier P.Lafourcade
Talks about:cryptograph (1) decomposit (1) hierarchi (1) protocol (1) calculus (1) process (1) languag (1) complet (1) system (1) normal (1)
Person: Cristian Ene
DBLP: Ene:Cristian
Contributed to:
20132004
1995Wrote 3 papers:
- FoSSaCS-2013-DreierELL #composition #on the #process #π-calculus
- On Unique Decomposition of Processes in the Applied π-Calculus (JD, CE, PL, YL), pp. 50–64.
- FoSSaCS-2004-BozgaEL #effectiveness #encryption #on the #protocol
- On the Existence of an Effective and Complete Inference System for Cryptographic Protocols (LB, CE, YL), pp. 42–57.
- DLT-1995-TipleaE #normalisation #petri net
- Hierarchies of Petri Net Languages and a Super-Normal Form (FLT, CE), pp. 396–405.