Michael Backes, Ankit Malik, Dominique Unruh. Computational soundness without protocol restrictions. In Ting Yu, George Danezis, Virgil D. Gligor, editors, the ACM Conference on Computer and Communications Security, CCS'12, Raleigh, NC, USA, October 16-18, 2012. pages 699-711, ACM, 2012. [doi]
Abstract is missing.