Daijie Zhang

According to our database, Daijie Zhang authored at least 5 papers between 2014 and 2016.

Collaborative distances:

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

2016

Verifying RTuinOS using VCC: From approach to practice.

Hongliang Liang, Daijie Zhang, Xiaodong Jia, Xiaoxiao Pei, Guangyuan Li

Proceedings of the 17th IEEE/ACIS International Conference on Software Engineering, 2016

A Correctness Verification Method for C Programs Based on VCC.

Hongliang Liang, Daijie Zhang, Xiaoxiao Pei, Xiaodong Jia, Guangyuan Li, Jiuyun Xu

Proceedings of the 3rd IEEE International Conference on Cyber Security and Cloud Computing, 2016

2015

PAPDroid: Personalization Awareness Privacy Protection in Android.

Hongliang Liang, Dongyang Wu, Yan Song, Daijie Zhang, Lingqing Xia

Proceedings of the International Conference on Identification, 2015

2014

A Lightweight Security Isolation Approach for Virtual Machines Deployment.

Hongliang Liang, Changyao Han, Daijie Zhang, Dongyang Wu

Proceedings of the Information Security and Cryptology - 10th International Conference, 2014

JavaScript Malicious Codes Analysis Based on Naive Bayes Classification.

Yongle Hao, Hongliang Liang, Daijie Zhang, Qian Zhao, Baojiang Cui

Proceedings of the 2014 Ninth International Conference on P2P, 2014