Qingkun Meng

According to our database, Qingkun Meng authored at least 5 papers between 2016 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Formal Method for Security Analysis of Electronic Payment Protocols.

Yi Liu, Qingkun Meng, Xingtong Liu, Jian Wang, Lei Zhang, Chaojing Tang

IEICE Trans. Inf. Syst., 2018

Improved Wolf Pack Algorithm Based on Differential Evolution Elite Set.

Xiayang Chen, Chaojing Tang, Jian Wang, Lei Zhang, Qingkun Meng

IEICE Trans. Inf. Syst., 2018

2016

Analyzing network protocol binary software with joint symbolic execution.

Shameng Wen, Chao Feng, Qingkun Meng, Bin Zhang, Ligeng Wu, Chaojing Tang

Proceedings of the 3rd International Conference on Systems and Informatics, 2016

Testing Network Protocol Binary Software with Selective Symbolic Execution.

Shameng Wen, Chao Feng, Qingkun Meng, Bin Zhang, Ligeng Wu, Chaojing Tang

Proceedings of the 12th International Conference on Computational Intelligence and Security, 2016

Predicting buffer overflow using semi-supervised learning.

Qingkun Meng, Shameng Wen, Chao Feng, Chaojing Tang

Proceedings of the 9th International Congress on Image and Signal Processing, 2016