Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
---|---|---|---|---|---|---|
2006 | Modular Formalization of Reactive Modules in Coq | Ming-Hsien Tsai; Bow-Yaw Wang | ||||
2016 | PAC learning-based verification and model synthesis | Yu-Fang Chen; Chiao Hsieh; Ondrej Lengál; Tsung-Ju Lii; Ming-Hsien Tsai; Bow-Yaw Wang; Farn Wang | ||||
2018 | Verifying Arithmetic Assembly Programs in Cryptographic Primitives | Andy Polyakov; Ming-Hsien Tsai; Bow-Yaw Wang; Bo-Yin Yang | ||||
2014 | Verifying Curve25519 Software | Yu-Fang Chen; Chang-Hong Hsu; Hsin-Hung Lin; Peter Schwabe; Ming-Hsien Tsai; Bow-Yaw Wang; Bo-Yin Yang; Shang-Yi Yang |