Search Sciweavers | Sciweavers

1401 search results - page 7 / 281

» Randomness in Interactive Proofs

click to vote

ACG
2009
Springer

242views Computer Graphics» more ACG 2009»

Randomized Parallel Proof-Number Search

15 years 4 months ago

Download wwwis.win.tue.nl

Jahn-Takeshi Saito, Mark H. M. Winands, H. Jaap va...

claim paper

Read More »

click to vote

PKC
2005
Springer

98views Cryptology» more PKC 2005»

A Verifiable Random Function with Short Proofs and Keys

15 years 3 months ago

Download www.cs.yale.edu

Yevgeniy Dodis, Aleksandr Yampolskiy

claim paper

Read More »

click to vote

STOC
1998
ACM

115views Algorithms» more STOC 1998»

On the Complexity of Unsatisfiability Proofs for Random k-CNF Formulas

15 years 1 months ago

Download www.cs.helsinki.fi

Paul Beame, Richard M. Karp, Toniann Pitassi, Mich...

claim paper

Read More »

click to vote

ISTCS
1995
Springer

73views Applied Computing» more ISTCS 1995»

On the Role of Shared Randomness in Two Prover Proof Systems

15 years 1 months ago

Download cseweb.ucsd.edu

Mihir Bellare, Uriel Feige, Joe Kilian

claim paper

Read More »

click to vote

CCS
2008
ACM

112views Security Privacy» more CCS 2008»

Towards automated proofs for asymmetric encryption schemes in the random oracle model

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers