Showing 1 - 4 results of 4 for search 'Bow-Yaw Wang', query time: 0.02s Refine Results
  1. 1
    A Finite Exact Representation of Register Automata Configurations

    A Finite Exact Representation of Register Automata Configurations by Yu-Fang Chen, Bow-Yaw Wang, Di-De Yen

    Published 2014-02-01
    Get full text
    Article
  2. 2
    Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference

    Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference by Wonchan Lee, Yungbum Jung, Bow-yaw Wang, Kwangkuen Yi

    Published 2012-09-01
    Get full text
    Article
  3. 3
    Verified NTT Multiplications for NISTPQC KEM Lattice Finalists: Kyber, SABER, and NTRU

    Verified NTT Multiplications for NISTPQC KEM Lattice Finalists: Kyber, SABER, and NTRU by Vincent Hwang, Jiaxiang Liu, Gregor Seiler, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang

    Published 2022-08-01
    Get full text
    Article
  4. 4
    Verified NTT Multiplications for NISTPQC KEM Lattice Finalists: Kyber, SABER, and NTRU

    Verified NTT Multiplications for NISTPQC KEM Lattice Finalists: Kyber, SABER, and NTRU by Vincent Hwang, Jiaxiang Liu, Gregor Seiler, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang

    Published 2022-08-01
    Get full text
    Article

Search Tools: