基本情况

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

主要学习经历：

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

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

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

主要工作经历：

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

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

研究方向

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

（1）软件工程：程序分析/理解，代码重构，软件测试；

（2）可信&移动计算：基于TEE的可信软件，Android系统/软件；

（3）安全&隐私：软件缺陷/漏洞分析，程序关键信息的安全/隐私保护。

科研项目

[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]指导本科生获得北京工业大学本科优秀毕业设计(论文), 2023

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

[3] 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 (CC), June, 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), 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), In Print, 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), In Print, February 2022 [SCI-期刊, JCR-2区, CCF-B].

[5]Yin Liu, Breno Dantas Cruz, and Eli Tilevich, "Privacy-Preserving Sharing of Mobile Sensor Data," Proceedings of the 12th EAI International Conference on Mobile Computing, Applications and Services (MobiCASE), November 2021 [EI-会议].

[6]Yin Liu, Breno Dantas Cruz, and Eli Tilevich, "HTPD: Secure and Flexible Message-Based Communication for Mobile Apps," Proceedings of the 17th EAI International Conference on Security and Privacy in Communication Networks (SecureComm), September 2021 [EI-会议, CCF-C].

[7]Yin Liu, and Eli Tilevich, "Reducing the Price of Protection: Identifying and Migrating Non-Sensitive Code in TEE", Proceedings of the 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), December 2020 [EI-会议, CCF-C].

[8]Yin Liu, and Eli Tilevich, "VarSem: Declarative Expression and Automated Inference of Variable Usage Semantics", Proceedings of the 19th International Conference on Generative Programming: Concepts & Experience (GPCE), November 2020 [EI-会议, CORE-B].

[9]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. Best Paper Runners up [SCI-期刊, JCR-3区].

[10]Yin Liu, Kijin An, and Eli Tilevich, "RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints", Proceedings of the 17th International Conference on Generative Programming: Concepts & Experience (GPCE), November 2018 [EI-会议, CORE-B].

[11]Yin Liu, Zheng Song, and Eli Tilevich, "Querying Invisible Objects: Supporting Data-Driven, Privacy-Preserving Distributed Applications", Proceedings of the 14th International Conference on Managed Languages & Runtimes (ManLang, formerly PPPJ, now called MPLR), September 2017 [EI-会议, CORE-C].