研究方向
以软件工程为主体,涵盖可信/移动计算、软件安全/隐私。
(1)软件工程:程序分析/理解,代码重构,软件测试;
(2)可信 & 移动计算:基于TEE的可信软件,Android系统/软件;
(3)安全 & 隐私:软件缺陷/漏洞分析,程序关键信息的安全/隐私保护。
个人简介
刘寅,博士,讲师。博士毕业于美国弗吉尼亚理工大学 (Virginia Tech) 计算机系。攻读博士前, 作为软件工程师在Sony移动公司工作逾3年。目前主持北京市自然科学基金-面上项目1项。学术论文发表在CC,JSS,COLA,APSEC,GPCE,SecureComm等国际期刊/会议。
教育简历
博士,弗吉尼亚理工大学(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 Applications,2017-2021
[3] 核心参与人,美国国家自然科学基金(NSF),Security and Software Engineering Research Center (S2ERC) at Virginia Tech,2017-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区].