About our lab

About our lab: SQSLab, short for Software Quality and Security, is interested in working with emerging problems in the era of cloud computing and big data analysis. Particular topics include Software Engineering, Performance Guarantee in Cloud Computing, Mobile Security and Energy Saving on Mobile Devices.

For model checking and testing, we've developed a model-Based continuous verification system called Eunomia, which bi-directionally checks the consistency of model and source code.

For mobile security, we are working on malware detection and classification (refer to AsiaCCS 2016). We've developed KuafuDet (refer to MobiCom 2016) for android malware detection using machine learning in adversarial environment. We proposed a malware detection system, termed Begonia (refer to CCS 2016), through Pareto ensemble learning to trade off classification accuracy and time cost.


For prospective students

We are still looking for new talented Masters and Ph.D. students.
Please send me email(lhxu@cs.ecnu.edu.cn).

News

Members

Master Students

杨帅
Shuai Yang
2015 ~
卜文奇
Wenqi Bu
2016 ~
郑皓月
Haoyue Zheng
2017 ~
袁宇杰
Yujie Yuan
2016 ~
蒋欢
Huan Jiang
2016 ~
唐崇斌
Edwin Tang
2017 ~
汪庆顺
QingShun Wang
2017 ~
龚鑫
Xin Gong
2018 ~
金天成
Tiancheng Jin
2018 ~

Undergraduate Student

Graduated Student

葛徐骏
Xujun Ge
~ 2015
王玲
Ling Wang
~ 2016
谷林涛
Arthas Gu
~ 2018
吴俊
Jun Wu
~ 2018