Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
---|---|---|---|---|---|---|
2013 | VCS: A Verifier for Component-Based Systems | Fei He; Liangze Yin; Bow-Yaw Wang; Lianyi Zhang; Guanyu Mu; Wenrui Meng | ||||
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 |