Search Sciweavers | Sciweavers

1401 search results - page 7 / 281

» Randomness in Interactive Proofs

114

click to vote

ACG
2009
Springer

242views Computer Graphics» more ACG 2009»

Randomized Parallel Proof-Number Search

16 years 14 days ago

Download wwwis.win.tue.nl

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

claim paper

Read More »

129

click to vote

PKC
2005
Springer

98views Cryptology» more PKC 2005»

A Verifiable Random Function with Short Proofs and Keys

15 years 11 months ago

Download www.cs.yale.edu

Yevgeniy Dodis, Aleksandr Yampolskiy

claim paper

Read More »

111

click to vote

STOC
1998
ACM

115views Algorithms» more STOC 1998»

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

15 years 10 months ago

Download www.cs.helsinki.fi

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

claim paper

Read More »

109

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 9 months ago

Download cseweb.ucsd.edu

Mihir Bellare, Uriel Feige, Joe Kilian

claim paper

Read More »

129

click to vote

CCS
2008
ACM

112views Security Privacy» more CCS 2008»

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

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers