Search alternatives:
"prover" » "proven", "proved", "proves"

1
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... Key Encryption -- Polynomial-Space Approximation of No-Signaling Provers -- From Secrecy to Soundness...