1411 search results - page 8 / 283 » Interactive Coding for Interactive Proofs |
CADE
1990
Springer
14 years 1 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
This paper considers three variants of quantum interactive proof systems in which short (meaning logarithmic-length) messages are exchanged between the prover and veriļ¬er. The ļ...
ECCC
2010
13 years 8 months ago
2010
Applications based on outsourcing computation require guarantees to the data owner that the desired computation has been performed correctly by the service provider. Methods based...
COCO
2005
Springer
14 years 3 months ago
2005
Springer
Refereed games are interactive proof systems with two competing provers: one that tries to convince the veriļ¬er to accept and another that tries to convince the veriļ¬er to rej...
CODES
1996
IEEE
14 years 2 months ago
1996
IEEE