@inproceedings{CEL07,
title = {Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption },
author = {Courant, Judica\"el and Ene, Cristian and Lakhnech, Yassine},
year = {2007},
booktitle = {FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings},
pages = {364-375},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4855},
team = {DCS,PACSS},
}
