Search Sciweavers | Sciweavers

4850 search results - page 69 / 970

» Proof and Computation in Geometry

166

click to vote

EUROCRYPT
2007
Springer

144views Cryptology» more EUROCRYPT 2007»

Universally Composable Multi-party Computation Using Tamper-Proof Hardware

16 years 14 days ago

Download www.cs.umd.edu

Protocols proven secure within the universal composability (UC) framework satisfy strong and desirable security properties. Unfortunately, it is known that within the “plain” m...

Jonathan Katz

claim paper

Read More »

138

click to vote

STACS
1991
Springer

92views Theoretical Computer Science» more STACS 1991»

Computationally Convincing Proofs of Knowledge

15 years 9 months ago

Download crypto.cs.mcgill.ca

Gilles Brassard, Claude Crépeau, Sophie Lap...

claim paper

Read More »

136

click to vote

ICS
2010
Tsinghua U.

129views Distributed And Parallel Com...» more ICS 2010»

Interactive Proofs For Quantum Computations

16 years 3 months ago

Download www.cs.huji.ac.il

Dorit Aharonov, Michael Ben-Or, Elad Eban

claim paper

Read More »

126

click to vote

TLCA
1997
Springer

81views Theoretical Computer Science» more TLCA 1997»

Proof Nets, Garbage, and Computations

15 years 10 months ago

Download www.ircs.upenn.edu

S TECHNICAL REPORT ABSTRACTS

Stefano Guerrini, Simone Martini, Andrea Masini

claim paper

Read More »

109

click to vote

CIE
2005
Springer

69views Applied Computing» more CIE 2005»

Computability-Theoretic and Proof-Theoretic Aspects of Vaughtian Model Theory

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers