1411 search results - page 5 / 283 » Interactive Coding for Interactive Proofs |
TOOLS
1999
IEEE
14 years 2 months ago
1999
IEEE
Programming object interactions is at the heart of object-oriented programming. To improve reusability of the interactions, it is important to program object interactions generica...
FOCS
1999
IEEE
14 years 2 months ago
1999
IEEE
We introduce the notion of non-malleable noninteractive zero-knowledge (NIZK) proof systems. We show how to transform any ordinary NIZK proof system into one that has strong non-m...
SERP
2007
13 years 11 months ago
2007
- Modern tools have simplified the development of the enterprise applications by bridging gaps across various technologies like file systems, relational databases, messaging, and w...
CRYPTO
1991
Springer
14 years 1 months ago
1991
Springer
Recent results in interactive proof systems [?][?] [?] seem to indicate that it is easier for a prover in a single prover interactive proof system to cheat the verifier than it i...
STACS
2005
Springer
14 years 3 months ago
2005
Springer
This paper studies quantum refereed games, which are quantum interactive proof systems with two competing provers: one that tries to convince the verifier to accept and the other...