Zhengqin Luo. Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups. In Joonsang Baek, Feng Bao, Kefei Chen, Xuejia Lai, editors, Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings. Volume 5324 of Lecture Notes in Computer Science, pages 185-199, Springer, 2008. [doi]
Abstract is missing.