Search Sciweavers | Sciweavers

608 search results - page 25 / 122

» Interactive Oracle Proofs

click to vote

ICALP
2001
Springer

94views Programming Languages» more ICALP 2001»

On Interactive Proofs with a Laconic Prover

14 years 2 months ago

Download dash.harvard.edu

Oded Goldreich, Salil P. Vadhan, Avi Wigderson

claim paper

Read More »

click to vote

COCO
1992
Springer

92views Algorithms» more COCO 1992»

Interactive Proof Systems with Polynomially Bounded Strategies

14 years 1 months ago

Download www.cs.ubc.ca

Anne Condon, Richard E. Ladner

claim paper

Read More »

click to vote

ISAAC
1994
Springer

83views Algorithms» more ISAAC 1994»

On Helping and Interactive Proof Systems

14 years 1 months ago

Download www.uni-ulm.de

Vikraman Arvind, Johannes Köbler, Rainer Schu...

claim paper

Read More »

click to vote

CRYPTO
1989
Springer

87views Cryptology» more CRYPTO 1989»

Efficient Identification Schemes Using Two Prover Interactive Proofs

14 years 1 months ago

Download groups.csail.mit.edu

Michael Ben-Or, Shafi Goldwasser, Joe Kilian, Avi ...

claim paper

Read More »

click to vote

FOCS
1990
IEEE

66views Theoretical Computer Science» more FOCS 1990»

Randomness in Interactive Proofs

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers