Position:    Lecturer,                      Joseph Fourier University Researcher,                 VERIMAG Laboratory Address:    2, avenue de Vignate 38610 Gieres FRANCE   Cristian.Ene[at]imag.fr      where [at] is @    +33 (0)4 56 52 04 41

 Some Works:

• Formal Indistinguishability extended to the Random Oracle Model. (conference version in ESORICS'09 .pdf ).
• Automated Proofs for Asymmetric Encryption. (journal version in Journal of Automated Reasoning, 2011 .pdf ).
• Computationally sound typing for Non-Interference: The case of deterministic encryption. (conference version in FSTTCS'07 .pdf ).
• A symbolic decision procedure for cryptographic protocols with time stamps (conference version in CONCUR'04 .ps ).
• On the existence of an effective and complete inference system for cryptographic protocols (conference version in FOSSACS'04 .ps ).
• Un modèle formel pour les systèmes mobiles à diffusion. PhD thesis, 2001(in french). ( .ps.gz)
• Testing Theories for Broadcasting Processes. ISPDC'02. (.ps.gz, .pdf )
• A Broadcast-based Calculus for Communicating Systems. extended version of FMPPTA'01. (.ps.gz , .pdf )

Full  list  of  publications.