孟昭逸

 

Email:mzy516@ustc.edu.cn


  

主要研究方向安卓安全、软件形式化验证

  

孟昭逸,男,1992年5月生,博士后研究员。2014年于电子科技大学计算机科学与工程学院获得学士学位,2019年于中国科学技术大学计算机科学与技术学院获得博士学位。主要从事安卓安全、软件形式化验证等方向的研究。近年来,相关论文发表于TIFS,ICSE等国际知名期刊和会议。作为主要成员参与国家自然科学基金国际(地区)合作与交流项目、国家自然科学基金面上项目、国家重点研发计划子课题等。

 

代表性论著

  1. Zhaoyi Meng, Yan Xiong, Wenchao Huang, Fuyou Miao, Jianmeng Huang. AppAngio: Revealing Contextual Information of Android App Behaviors by API-Level Audit Logs. IEEE Transactions on Information Forensics and Security. Accepted.

  2. Zhaoyi Meng, Yan Xiong, Wenchao Huang, Fuyou Miao, Taeho Jung, Jianmeng Huang. Divide and Conquer: Recovering Contextual Information of Behaviors in Android Apps around Limited-quantity Audit Logs. 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings. IEEE Press, 2019: 230-231.

  3. Zhaoyi Meng, Yan Xiong, Wenchao Huang, Lei Qin, Xin Jin, Hongbing Yan. AppScalpel: Combining Static Analysis and Outlier Detection to Identify and Prune Undesirable Usage of Sensitive Data in Android Applications. Neurocomputing, 2019, 341: 10-25.

  4. Chen Xu, Yan Xiong, Wenchao Huang, Zhaoyi Meng, Fuyou Miao, Cheng Su, Guangshuai Mo. Identifying Compatibility-Related APIs by Exploring Biased Distribution in Android Apps. 2020 IEEE/ACM 42nd International Conference on Software Engineering: Companion Proceedings. 2020: 280-281.

  5. Jianmeng Huang, Wenchao Huang, Zhaoyi Meng, Fuyou Miao, Yan Xiong. Static Analysis of Superfluous Network Transmissions in Android Applications. IJ Network Security, 2020, 22(3): 409-418.

  6. Huihua Xia, Yan Xiong, Wenchao Huang, Zhaoyi Meng, Fuyou Miao.  Limiting Privacy Breaches in Average-Distance Query. Security and Communication Networks, 2020, 2020.

  7. Jianmeng Huang, Wenchao Huang, Zhaoyi Meng, Fuyou Miao, Yan Xiong. Identifying Superfluous Network Transmissions in Android Applications. 2018 4th International Conference on Big Data Computing and Communications. IEEE, 2018: 96-101.

  8. Lei Qin, Yan Xiong, Wenchao Huang, Zhaoyi Meng. A Privacy Enforcement Framework for Android Systems Using Symbolic Execution-Based Instrumentation. 2018 4th International Conference on Big Data Computing and Communications. IEEE, 2018: 108-113.