师资队伍

刘寅

电话:

E-mail:yinliu@bjut.edu.cn

通讯地址:北京工业大学软件楼,平乐园100号,100124

研究方向

软件工程为主体,涵盖可信/移动计算、软件安全/隐私。

1)软件工程:程序分析/理解,代码重构,软件测试;

2)可信 & 移动计算:基于TEE的可信软件,Android系统/软件;

3)安全 & 隐私:软件缺陷/漏洞分析,程序关键信息的安全/隐私保护。

个人简介

刘寅,博士,讲师博士毕业于美国弗吉尼亚理工大学 (Virginia Tech) 计算机系。攻读博士前, 作为软件工程师在Sony移动公司工作逾3年。目前主持北京市自然科学基金-面上项目1项。学术论文发表在CCJSSCOLAAPSECGPCESecureComm等国际期刊/会议

教育简历

博士,弗吉尼亚理工大学(Virginia Tech), 计算机科学与应用,2016-2021

硕士,北京林业大学,计算机软件与理论,2008-2011

本科,北京林业大学,计算机科学与技术,2004-2008

工作履历

讲师北京工业大学软件工程系,2021至今

软件工程师Sony移动通信公司,核心软件/平台研发部,2011-2014

科研项目

[1] 主持,北京市自然科学基金-面上项目,面向安卓平台可信执行环境的性能缺陷测试技术研究,2023-2025

[2] 核心参与人,美国国家自然科学基金(NSF)Perpetuum Mobile: Orchestrating the Provisioning of Pervasive Resources for Emerging Mobile Applications2017-2021

[3] 核心参与人,美国国家自然科学基金(NSF)Security and Software Engineering Research Center (S2ERC) at Virginia Tech2017-2020

荣誉和获奖

[1] Best Paper Runners Up, Journal of Computer Languages (COLA), 2019

[2] BitShares Graduate Fellowship, Department of Computer Science of Virginia Tech, 2019

代表性研究成果

[1] Yin Liu, Breno Dantas Cruz, and Eli Tilevich, "Trusted and Privacy-Preserving Sensor Data Onloading," Computer Communications Journal (CC), 2023 [SCI-期刊, JCR-1, CCF-C].

[2] Yin Liu, Shuangyi li, and Eli Tilevich, "Toward a Better Alignment Between the Research and Practice of Code Search Engines," Proceedings of the 29th Asia-Pacific Software Engineering Conference (APSEC’22), December, 2022 [EI-会议, CCF-C].

[3] Yin Liu, Breno Dantas Cruz, and Eli Tilevich, "Secure and Flexible Message-Based Communication for Mobile Apps Within and Across Devices," Journal of Systems & Software (JSS), July 2022 [SCI-期刊, JCR-2, CCF-B].

[4] Yin Liu, Siddharth Dhar, and Eli Tilevich, "Only Pay for What You Need: Detecting and Removing Unnecessary TEE-Based Code," Journal of Systems & Software (JSS), February 2022 [SCI-期刊, JCR-2, CCF-B].

[5] Yin Liu, Kijin An, and Eli Tilevich, "RT-Trust: Automated Refactoring for Different Trusted Execution Environments under Real-Time Constraints," Journal of Computer Languages (COLA), February 2020 [SCI-期刊, JCR-3].

XML 地图