Author Search Results :: UTM Library Massive Scholar Tracking

1

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

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

A Unified Framework for DPLL(T) + Certificates by Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun

Published 2013-01-01

Get full text

Article
4

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
5

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