Search Sciweavers | Sciweavers

3228 search results - page 52 / 646

» Computationally Sound Proofs

click to vote

ASIACRYPT
2005
Springer

103views Cryptology» more ASIACRYPT 2005»

Errors in Computational Complexity Proofs for Protocols

14 years 2 months ago

Download eprint.iacr.org

Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchco...

claim paper

Read More »

click to vote

MKM
2009
Springer

98views Information Technology» more MKM 2009»

Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems

14 years 1 months ago

Download www.unirioja.es

Jónathan Heras, Vico Pascual, Julio Rubio

claim paper

Read More »

click to vote

EUROCRYPT
2008
Springer

91views Cryptology» more EUROCRYPT 2008»

David and Goliath Commitments: UC Computation for Asymmetric Parties Using Tamper-Proof Hardware

13 years 10 months ago

Download eprint.iacr.org

Tal Moran, Gil Segev

claim paper

Read More »

click to vote

ENTCS
1998

63views more ENTCS 1998»

Proof theory and computational analysis

13 years 8 months ago

Download www.brics.dk

Ulrich Kohlenbach

claim paper

Read More »

click to vote

ECCC
2011

223views ECommerce» more ECCC 2011»

A Full Proof of the BGW Protocol for Perfectly-Secure Multiparty Computation

13 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers