Precision

Results: 7786



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

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
12Multivariate 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

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
13Certification 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)

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
14Operating 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

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

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
16Certified Verification of Algebraic Properties on LowLevel Mathematical Constructs in Cryptographic Programs Ming-Hsien Tsai Bow-Yaw Wang  Bo-Yin Yang

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
    17GAnGS: 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

    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
    18SPATE: 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-

    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
    19ECM 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

    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
    20What is iterative refinement How to use iterative refinement to verify a computed result? Influence of the computing precision Conclusion and future work  Iterative refinement:

    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