Computational Soundness of Indistinguishability Properties without Computable Parsing.

Hubert Comon-Lundh, Masami Hagiya, Yusuke Kawamoto, Hideki Sakurada

Browse the full ISPEC paper archive.