Haiyang Sun’s talk: Custom Full-Coverage Dynamic Program Analysis for Android
A paper has now been accepted for publication in IJSEKE
“Flexible and Extensible Runtime Verification for Java” has now been accepted for publication in Int’l Journal of Software Engineering and Knowledge Engineering. Congratulations! Xiang Chengcheng(项程程)
Pro. Kai Chen and Wei Bai from HKUST visited our lab
Mr. Bai gave a talk about his research:
- Information-Agnostic Flow Scheduling for Commodity Data Centers
A paper has been accepted by VLDB 2015
Paper “Differential Privacy in Telco Big Data Platform” is accepted by VLDB 2015. Congratulations to Xueyang Hu (胡雪阳，本科生) and Yu Deng （邓煜，硕士生）.
A paper has been accepted by USENIX ATC 2015
The paper is one of 47 papers accepted out of 221 submissions. Congratulations! Xue Mochi(薛墨池), Wang Jiajun(王佳骏)
Mingyuan Xia has presented the paper in S&P 2015
Title: Effective Real-time Android Application Auditing
Conference: S&P ’15 (2015 IEEE Symposium on Security andPrivacy) , May 2015）
Web: http://appaudit.io/
Project: Appaudit
Two papers have been accepted by SEKE 2015
“Flexible and Extensible Runtime Verification for Java” (REGULAR ) and “DefDroid: Securing Android with Fine-Grained Security Policy”(SHORT) have been accepted by the 2015 International Conference on Software Engineering and Knowledge Engineering (SEKE 2015). Congratulations! Xiang Chengcheng(项程程) and Huang Chao(黄超).