Search Sciweavers | Sciweavers

We construct the first general secure computation protocols that require no trusted infrastructure other than authenticated communication, and that satisfy a meaningful notion of s...

Ran Canetti, Huijia Lin, Rafael Pass

claim paper

Read More »

124

click to vote

FOCS
1998
IEEE

72views Theoretical Computer Science» more FOCS 1998»

Randomness vs. Time: De-Randomization under a Uniform Assumption

15 years 10 months ago

Download www.math.ias.edu

Russell Impagliazzo, Avi Wigderson

claim paper

Read More »

152

click to vote

TLCA
2007
Springer

154views Theoretical Computer Science» more TLCA 2007»

On a Logical Foundation for Explicit Substitutions

16 years 4 days ago

Download www.cs.cmu.edu

Frank Pfenning

claim paper

Read More »

147

click to vote

MFCS
1999
Springer

130views Theoretical Computer Science» more MFCS 1999»

Foundations of Modular SOS

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers