Sciweavers

    3228 search results - page 52 / 646
    » Computationally Sound Proofs
    Sort
    View
    ASIACRYPT
    2005
    Springer
    103views Cryptology» more  ASIACRYPT 2005»
    Errors in Computational Complexity Proofs for Protocols
    15 years 11 months ago
    Errors in Computational Complexity Proofs for Protocols
    Download  eprint.iacr.org
    Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchco...
    claim paper
    Read More »
    144
    Voted
    MKM
    2009
    Springer
    98views Information Technology» more  MKM 2009»
    Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems
    15 years 10 months ago
    Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems
    Download  www.unirioja.es
    Jónathan Heras, Vico Pascual, Julio Rubio
    claim paper
    Read More »
    EUROCRYPT
    2008
    Springer
    91views Cryptology» more  EUROCRYPT 2008»
    David and Goliath Commitments: UC Computation for Asymmetric Parties Using Tamper-Proof Hardware
    15 years 8 months ago
    David and Goliath Commitments: UC Computation for Asymmetric Parties Using Tamper-Proof Hardware
    Download  eprint.iacr.org
    Tal Moran, Gil Segev
    claim paper
    Read More »
    115
    Voted
    ENTCS
    1998
    63views more  ENTCS 1998»
    Proof theory and computational analysis
    15 years 5 months ago
    Proof theory and computational analysis
    Download  www.brics.dk
    Ulrich Kohlenbach
    claim paper
    Read More »
    173
    Voted
    ECCC
    2011
    223views ECommerce» more  ECCC 2011»
    A Full Proof of the BGW Protocol for Perfectly-Secure Multiparty Computation
    15 years 1 months ago
    A Full Proof of the BGW Protocol for Perfectly-Secure Multiparty Computation
    Download  eprint.iacr.org
    Gilad Asharov, Yehuda Lindell
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.