Cristian ENE
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
Research:
Theory in Computer Security and Cryptography
Semantics and foundations of programming and modeling languages
Formal verification of distributed systems
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.