Pedro Adão, Cédric Fournet. Cryptographically Sound Implementations for Communicating Processes. In Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener, editors, Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II. Volume 4052 of Lecture Notes in Computer Science, pages 83-94, Springer, 2006. [doi]
@inproceedings{AdaoF06,
title = {Cryptographically Sound Implementations for Communicating Processes},
author = {Pedro Adão and Cédric Fournet},
year = {2006},
doi = {10.1007/11787006_8},
url = {http://dx.doi.org/10.1007/11787006_8},
researchr = {https://researchr.org/publication/AdaoF06},
cites = {0},
citedby = {0},
pages = {83-94},
booktitle = {Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II},
editor = {Michele Bugliesi and Bart Preneel and Vladimiro Sassone and Ingo Wegener},
volume = {4052},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-35907-9},
}