BibTeX records: Daijie Zhang

• > Home > Persons > Daijie Zhang

@inproceedings{DBLP:conf/cscloud/LiangZPJLX16,
  author       = {Hongliang Liang and
                  Daijie Zhang and
                  Xiaoxiao Pei and
                  Xiaodong Jia and
                  Guangyuan Li and
                  Jiuyun Xu},
  editor       = {Meikang Qiu and
                  Lixin Tao and
                  Jianwei Niu},
  title        = {A Correctness Verification Method for {C} Programs Based on {VCC}},
  booktitle    = {3rd {IEEE} International Conference on Cyber Security and Cloud Computing,
                  CSCloud 2016, Beijing, China, June 25-27, 2016},
  pages        = {172--177},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/CSCloud.2016.30},
  doi          = {10.1109/CSCLOUD.2016.30},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cscloud/LiangZPJLX16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/snpd/LiangZJPL16,
  author       = {Hongliang Liang and
                  Daijie Zhang and
                  Xiaodong Jia and
                  Xiaoxiao Pei and
                  Guangyuan Li},
  editor       = {Yihai Chen},
  title        = {Verifying RTuinOS using {VCC:} From approach to practice},
  booktitle    = {17th {IEEE/ACIS} International Conference on Software Engineering,
                  Artificial Intelligence, Networking and Parallel/Distributed Computing,
                  {SNPD} 2016, Shanghai, China, May 30 - June 1, 2016},
  pages        = {373--378},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/SNPD.2016.7515927},
  doi          = {10.1109/SNPD.2016.7515927},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snpd/LiangZJPL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iiki/LiangWSZX15,
  author       = {Hongliang Liang and
                  Dongyang Wu and
                  Yan Song and
                  Daijie Zhang and
                  Lingqing Xia},
  title        = {PAPDroid: Personalization Awareness Privacy Protection in Android},
  booktitle    = {International Conference on Identification, Information, and Knowledge
                  in the Internet of Things, {IIKI} 2015, Beijing, China, October 22-23,
                  2015},
  pages        = {122--125},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/IIKI.2015.34},
  doi          = {10.1109/IIKI.2015.34},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iiki/LiangWSZX15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/3pgcic/HaoLZZC14,
  author       = {Yongle Hao and
                  Hongliang Liang and
                  Daijie Zhang and
                  Qian Zhao and
                  Baojiang Cui},
  title        = {JavaScript Malicious Codes Analysis Based on Naive Bayes Classification},
  booktitle    = {2014 Ninth International Conference on P2P, Parallel, Grid, Cloud
                  and Internet Computing, Guangdong, China, November 8-10, 2014},
  pages        = {513--519},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/3PGCIC.2014.147},
  doi          = {10.1109/3PGCIC.2014.147},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/3pgcic/HaoLZZC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cisc/LiangHZW14,
  author       = {Hongliang Liang and
                  Changyao Han and
                  Daijie Zhang and
                  Dongyang Wu},
  editor       = {Dongdai Lin and
                  Moti Yung and
                  Jianying Zhou},
  title        = {A Lightweight Security Isolation Approach for Virtual Machines Deployment},
  booktitle    = {Information Security and Cryptology - 10th International Conference,
                  Inscrypt 2014, Beijing, China, December 13-15, 2014, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8957},
  pages        = {516--529},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-16745-9\_28},
  doi          = {10.1007/978-3-319-16745-9\_28},
  timestamp    = {Fri, 09 Apr 2021 18:52:22 +0200},
  biburl       = {https://dblp.org/rec/conf/cisc/LiangHZW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}