Precision

Results: 7786



#Item
11Algebra / Mathematics / Abstract algebra / Algebraic geometry / Computer algebra / Multivariate cryptography / Polynomials / Commutative algebra / Hidden Field Equations / Grbner basis / Quadratic form / Quadratic function

Degree of Regularity for HFEv and HFEvJintai Ding 1 1? and Bo-Yin Yang

Add to Reading List

Source URL: precision.moscito.org

Language: English - Date: 2013-03-30 23:05:01
12Cryptography / Multivariate cryptography / Post-quantum cryptography / Algebra / Polynomials / Unbalanced Oil and Vinegar / Hidden Field Equations / Algebraic equation / QUAD / Variable / Equation / Finite field

Multivariate Cryptography Louis Goubin, Versailles St-Quentin-en-Yvelines University, France, Jacques Patarin, Versailles St-Quentin-en-Yvelines University, France, and Bo-Yin Yang, Institute of Information Science, Acad

Add to Reading List

Source URL: precision.moscito.org

Language: English - Date: 2013-03-31 09:28:56
13Numerical analysis / Mathematics / Applied mathematics / Iterative refinement / Iterative method / Interval arithmetic / Newton's method / Condition number / Residual / Root-finding algorithm / Affine arithmetic

Certification of a Numerical Result: Use of Interval Arithmetic and Multiple Precision Hong Diep Nguyen and Nathalie Revol INRIA Universit´e de Lyon Laboratoire LIP (UMR 5668 CNRS - ENS Lyon - INRIA - UCBL)

Add to Reading List

Source URL: perso.ens-lyon.fr

Language: English - Date: 2010-12-09 10:22:15
14Algebra / Mathematics / Computer algebra / Algebraic geometry / Commutative algebra / Linear algebra / Determinants / Faugre's F4 and F5 algorithms / Grbner basis / Overdetermined system / Buchberger's algorithm / Matrix

Operating Degrees for XL vs. F4/F5 for Generic MQ with Number of Equations Linear in That of Variables Jenny Yuan-Chun Yeh, Chen-Mou Cheng, and Bo-Yin Yang Academia Sinica, Taipei, Taiwan {jenny,doug,by}@crypto.tw Abstra

Add to Reading List

Source URL: precision.moscito.org

Language: English - Date: 2013-10-06 15:47:59
15Cryptography / Multivariate cryptography / Post-quantum cryptography / Hidden Field Equations / Unbalanced Oil and Vinegar / QUAD / Quadratic form / Digital signature / Quadratic function / XSL attack

HMFEv - An Efficient Multivariate Signature Scheme Albrecht Petzoldt1(B) , Ming-Shing Chen2 , Jintai Ding3 , and Bo-Yin Yang2 1 National Institute for Standards and Technology, Gaithersburg, MD, USA

Add to Reading List

Source URL: precision.moscito.org

Language: English - Date: 2018-03-14 01:35:29
16

Certified Verification of Algebraic Properties on LowLevel Mathematical Constructs in Cryptographic Programs Ming-Hsien Tsai Bow-Yaw Wang Bo-Yin Yang

Add to Reading List

Source URL: precision.moscito.org

Language: English - Date: 2018-03-14 01:29:40
    17Group theory / Algebra / Abstract algebra / Geometry / N-group / Bluetooth / Subgroup / Formation / Index of a subgroup

    GAnGS: Gather, Authenticate ’n Group Securely ∗ Chia-Hsin Owen Chen† , Chung-Wei Chen‡ , Cynthia Kuo§ , Yan-Hao Lai∗ , Jonathan M. McCune§ , Ahren Studer§⋄ , Adrian Perrig§ , Bo-Yin Yang† , Tzong-Chen

    Add to Reading List

    Source URL: precision.moscito.org

    Language: English - Date: 2011-03-20 04:03:38
    18Computing / Information and communications technology / Technology / Bluetooth / Wireless / Computer security / Computer network / SMS / Password / Dropbox / Gmail / Email

    SPATE: Small-group PKI-less Authenticated Trust Establishment ∗ Yue-Hsun Lin† Ahren Studer§ Hsu-Chun Hsiao§ Jonathan M. McCune§ King-Hang Wang† Maxwell Krohn§ Phen-Lan Lin◦ Adrian Perrig§ Hung-Min Sun† Bo-

    Add to Reading List

    Source URL: precision.moscito.org

    Language: English - Date: 2011-03-20 04:03:39
    19Video cards / Computer architecture / Computing / Graphics hardware / CUDA / GeForce / Graphics processing unit / Nvidia / GeForce 500 series / GeForce 400 series

    ECM on Graphics Cards Daniel J. Bernstein1 , Tien-Ren Chen2 , Chen-Mou Cheng3 , Tanja Lange4 , and Bo-Yin Yang2 1 Department of Computer Science University of Illinois at Chicago, Chicago, IL 60607–7045, USA

    Add to Reading List

    Source URL: precision.moscito.org

    Language: English - Date: 2011-03-20 04:03:43
    20Mathematical analysis / Numerical analysis / Mathematics / Numerical linear algebra / Root-finding algorithms / Iterative refinement / Residual / Newton's method / Pi / Approximations of / Gradient descent / Mathematical optimization

    What is iterative refinement How to use iterative refinement to verify a computed result? Influence of the computing precision Conclusion and future work Iterative refinement:

    Add to Reading List

    Source URL: www.lix.polytechnique.fr

    Language: English - Date: 2010-07-21 10:31:16
    UPDATE