Hubert Comon-Lundh, Masami Hagiya, Yusuke Kawamoto, Hideki Sakurada. Computational Soundness of Indistinguishability Properties without Computable Parsing. In Mark Dermot Ryan, Ben Smyth, Guilin Wang, editors, Information Security Practice and Experience - 8th International Conference, ISPEC 2012, Hangzhou, China, April 9-12, 2012. Proceedings. Volume 7232 of Lecture Notes in Computer Science, pages 63-79, Springer, 2012. [doi]
Abstract is missing.