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

15 years 8 months ago

Download eprint.iacr.org

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

claim paper

Read More »

117

click to vote

MKM
2009
Springer

98views Information Technology» more MKM 2009»

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

15 years 7 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

15 years 5 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

15 years 2 months ago

Download www.brics.dk

Ulrich Kohlenbach

claim paper

Read More »

137

click to vote

ECCC
2011

223views ECommerce» more ECCC 2011»

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

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers