C Code Verification based on the Extended Labeled Transition System Model. - Dexi Wang; Chao Zhang; Guang Chen; Ming Gu 001; Jiaguang Sun 001 (D&P@MoDELS, 2016)

Verification of Implementations of Cryptographic Hash Functions. - Dexi Wang; Yu Jiang 001; Houbing Song; Fei He 001; Ming Gu 001; Jiaguang Sun 001 (IEEE Access, 2017)

Scalable Verification Framework for C Program. - Guang Chen; Dexi Wang; Tianchi Li; Chao Zhang; Ming Gu 001; Jiaguang Sun 001 (APSEC, 2018)