Dexi Wang

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 3

Top Topics

Order Preserving

State Transitions

Locality Sensitive Hashing

Top Venues

Publications

Guang Chen, Dexi Wang, Tianchi Li, Chao Zhang, Ming Gu, Jiaguang Sun
Scalable Verification Framework for C Program. APSEC (2018)
Dexi Wang, Yu Jiang, Houbing Song, Fei He, Ming Gu, Jiaguang Sun
Verification of Implementations of Cryptographic Hash Functions. IEEE Access 5 (2017)
Dexi Wang, Chao Zhang, Guang Chen, Ming Gu, Jiaguang Sun
C Code Verification based on the Extended Labeled Transition System Model. D&P@MoDELS (2016)