@dblp

Termination-Insensitive Computational Indistinguishability (and Applications to Computational Soundness).

. CSF, page 251-265. IEEE Computer Society, (2011)

Links and resources

Tags