Daijie Zhang

Publication Activity (10 Years)

Years Active: 2014-2016
Publications (10 Years): 2

Top Topics

Privacy Protection

Java Virtual Machine

Naive Bayes Classification

Top Venues

Publications

Hongliang Liang, Daijie Zhang, Xiaodong Jia, Xiaoxiao Pei, Guangyuan Li
Verifying RTuinOS using VCC: From approach to practice. SNPD (2016)
Hongliang Liang, Daijie Zhang, Xiaoxiao Pei, Xiaodong Jia, Guangyuan Li, Jiuyun Xu
A Correctness Verification Method for C Programs Based on VCC. CSCloud (2016)
Hongliang Liang, Dongyang Wu, Yan Song, Daijie Zhang, Lingqing Xia
PAPDroid: Personalization Awareness Privacy Protection in Android. IIKI (2015)
Hongliang Liang, Changyao Han, Daijie Zhang, Dongyang Wu
A Lightweight Security Isolation Approach for Virtual Machines Deployment. Inscrypt (2014)
Yongle Hao, Hongliang Liang, Daijie Zhang, Qian Zhao, Baojiang Cui
JavaScript Malicious Codes Analysis Based on Naive Bayes Classification. 3PGCIC (2014)