Automated detection on the security of the linked-list operations

Hongyu Kuang, Jian Wang 0020, Ruilin Li, Chao Feng, Yunfei Su, Xing Zhang. Automated detection on the security of the linked-list operations. Frontiers of Computer Science in China, 16(2):162201, 2022. [doi]

Authors

Hongyu Kuang

This author has not been identified. Look up 'Hongyu Kuang' in Google

Jian Wang 0020

This author has not been identified. Look up 'Jian Wang 0020' in Google

Ruilin Li

This author has not been identified. Look up 'Ruilin Li' in Google

Chao Feng

This author has not been identified. Look up 'Chao Feng' in Google

Yunfei Su

This author has not been identified. Look up 'Yunfei Su' in Google

Xing Zhang

This author has not been identified. Look up 'Xing Zhang' in Google