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]
Abstract is missing.