Sciweavers

1401 search results - page 18 / 281
» Randomness in Interactive Proofs
Sort
View
COCO
2008
Springer
86views Algorithms» more  COCO 2008»
14 years 11 months ago
Using Entanglement in Quantum Multi-prover Interactive Proofs
Julia Kempe, Hirotada Kobayashi, Keiji Matsumoto, ...
FOCS
2008
IEEE
14 years 10 months ago
Quantum Multi Prover Interactive Proofs with Communicating Provers
We introduce another variant of Quantum MIP, where the provers do not share entanglement, the communication between the verifier and the provers is quantum, but the provers are u...
Michael Ben-Or, Avinatan Hassidim, Haran Pilpel
CORR
2008
Springer
104views Education» more  CORR 2008»
14 years 9 months ago
The Case for Structured Random Codes in Network Capacity Theorems
Random coding arguments are the backbone of most channel capacity achievability proofs. In this paper, we show that in their standard form, such arguments are insufficient for pro...
Bobak Nazer, Michael Gastpar
JOC
2011
104views more  JOC 2011»
14 years 15 days ago
Short Undeniable Signatures Based on Group Homomorphisms
This paper is devoted to the design and analysis of short undeniable signatures based on a random oracle. Exploiting their online property, we can achieve signatures with a fully s...
Jean Monnerat, Serge Vaudenay