Concepedia

Cristian Ene

CE

Statistics

Publications

4

Citations

152

H-Index

4

Active since

2002

Affiliations

Centre National de la Recherche Scientifique(Current)

Verimag

Cristian Ene is an author at Centre National de la Recherche Scientifique specializing in engineering, formal methods, and verification.

ORCID

Top concepts

Publications per year

2002–2008

4

Publications

4

A broadcast-based calculus for communicating systems

Cristian Ene, Traian Muntean · 2005 · 77 citations

, , +12

Towards automated proofs for asymmetric encryption schemes in the random oracle model

Judicaël Courant, Marion Daubignard, Cristian Ene et al. · 2008 · 41 citations

, , +17

A symbolic decision procedure for cryptographic protocols with time stamps

Liana Bozga, Cristian Ene, Yassine Lakhnech · The Journal of Logic and Algebraic Programming · 2004 · 24 citations

, , +13

Testing Theories for Broadcasting Processes.

Cristian Ene, Traian Muntean · 2002 · 10 citations

Rows per page

1–4 of 4