云计算安全理论与技术，系统安全理论与技术

   

083900-网络空间安全

云计算安全理论与技术，系统安全理论与技术

2006-09--2012-07   中国科学院研究生院   硕博连读，博士研究生
2002-09--2006-07   中国科技大学   本科

   

2016-01~现在, 中国科学院信息工程研究所, 高级工程师
2012-07~2016-01,中国科学院信息工程研究所, 助理研究员

   

[1] 徐博文, 贾世杰, 林璟锵, 郑昉昱, 马原, 刘丽敏, 顾小卓, 宋丽. JWTKey: Automatic Cryptographic Vulnerability Detection in JWT Applications. ESORICS 2023(CCF-B). 2023, 第 6 作者https://link.springer.com/chapter/10.1007/978-3-031-51479-1_14.
[2] 李文清, 贾世杰, 刘丽敏, 郑昉昱, 马原, 林璟锵. CryptoGo: Automatic Detection of Go Cryptographic API Misuses. ACSAC(CCF-B). 2022, 第 3 作者
[3] Yang, Feng, Liu, Limin, You, Weijing, Jing, Jiwu. You Are Revoked and Out: Towards Directly Revocable Ciphertext-Policy Attribute-Based Encryption. SECURITY AND COMMUNICATION NETWORKS[J]. 2022, 第 2 作者2022: http://dx.doi.org/10.1155/2022/6074322.
[4] Zhang, Yang, You, Weijing, Jia, Shijie, Liu, Limin, Li, Ziyi, Qian, Wenfei. EnclavePoSt: A Practical Proof of Storage-Time in Cloud via Intel SGX. SECURITY AND COMMUNICATION NETWORKS[J]. 2022, 第 4 作者2022: http://dx.doi.org/10.1155/2022/7868502.
[5] Jingyi Liu, Yanyan Zhao, Limin Liu, 贾世杰. Exploring Sequential and Collaborative Contexts for Next Point-of-Interest Recommendation. KSEM 2021. 2021, 第 3 作者  通讯作者  
[6] You, Weijing, Lei, Lei, Chen, Bo, Liu, Limin. What If Keys Are Leaked? towards Practical and Secure Re-Encryption in Deduplication-Based Cloud Storage. INFORMATION[J]. 2021, 第 4 作者  通讯作者  12(4): https://doaj.org/article/9edde27a96654cc1a0666a0e51bd1d00.
[7] Xi Fang, Limin Liu, 贾世杰, 赵欣怡, Yang Zhang. P-Shake: Towards Secure Authentication and Communication between Mobile Devices. WCNC 2021. 2021, 第 2 作者  通讯作者  
[8] 刘丽敏. Delay-based Public Verification of Cloud Data Geolocation. ISCC 2020. 2020, 第 1 作者
[9] You Weijing, Bo Chen, Limin Liu, jing jiwu. Deduplication-Friendly Watermarking for Multimedia Data in Public Clouds. ESORICS. 2020, 第 3 作者  通讯作者  
[10] Jiawei Wan, 贾世杰, 刘丽敏, Yang Zhang. Supporting Efficient Dynamic Update in Public Integrity Verification of Cloud Data. IPCCC 2020. 2020, 第 3 作者
[11] 张阳, 贾东征, 贾世杰, 刘丽敏, 林璟锵, IEEE. Splitter: An Efficient Scheme to Determine the Geolocation of Cloud Data Publicly. ICCCN 2020 (CCF-C)[J]. 2020, 第 4 作者
[12] 刘贤刚, 陈星, 刘丽敏. 多模多级网络身份认证框架研究. 信息技术与标准化[J]. 2020, 第 3 作者59-62+71, https://kns.cnki.net/KCMS/detail/detail.aspx?dbcode=CJFQ&dbname=CJFDLAST2020&filename=DZBZ2020Z1019&v=MzE0NTBHbXJvOUViWVI4ZVgxTHV4WVM3RGgxVDNxVHJXTTFGckNVUjdxZVp1ZHZGeTdrVUxyS0lUZkpkTEc0SE4=.
[13] Luo, Lannan, Zeng, Qiang, Cao, Chen, Chen, Kai, Liu, Jian, Liu, Limin, Gao, Neng, Yang, Min, Xing, Xinyu, Liu, Peng. Tainting-Assisted and Context-Migrated Symbolic Execution of Android Framework for Vulnerability Discovery and Exploit Generation. IEEE TRANSACTIONS ON MOBILE COMPUTING[J]. 2020, 第 6 作者19(12): 2946-2964, http://dx.doi.org/10.1109/TMC.2019.2936561.
[14] 贾东征, 张阳, 贾世杰, 刘丽敏, 林璟锵. DPV-Geo: Delay-based Public Verification of Cloud Data Geolocation. ISCC 2020(CCF-C). 2020, 第 4 作者
[15] 杨学轶, 吕娜, 陈天宇, 马存庆, 刘丽敏. A Privacy Enhancing Scheme for Mobile Devices Based Secure Multi-party Computation System. Inscrypt 2019. 2019, 第 5 作者
[16] Lin Jingqiang. Practical Verification of Data Encryption for Cloud Storage Services. SCC 2019. 2019, 
[17] Jia, Dongzheng, Liu, Limin, Jia, Shijie, Lin, Jingqiang, IEEE. VoteGeo: An IoT-based Voting Approach to Verify the Geographic Location of Cloud Hosts. 2019 IEEE 38TH INTERNATIONAL PERFORMANCE COMPUTING AND COMMUNICATIONS CONFERENCE (IPCCC). 2019, 第 11 作者
[18] 刘丽敏, 荆继武. 电子认证2．0面临的需求与挑战. 信息技术与标准化[J]. 2018, 第 1 作者12-16, http://lib.cqvip.com/Qikan/Article/Detail?id=676657842.
[19] 刘丽敏, 荆继武. 浅谈电子认证技术发展新趋势. 保密科学技术[J]. 2018, 第 1 作者17-21, http://lib.cqvip.com/Qikan/Article/Detail?id=66777574504849564853484852.
[20] 刘丽敏. How to Make Information-Flow Analysis Based Defense Ineffective: An ART Behavior-Mask Attack. ISC 2017. 2017, 第 1 作者
[21] Luo, Lannan, Zeng, Qiang, Cao, Chen, Chen, Kai, Liu, Jian, Liu, Limin, Gao, Neng, Yang, Min, Xing, Xinyu, Liu, Peng, Assoc Comp Machinery. System Service Call-oriented Symbolic Execution of Android Framework with Applications to Vulnerability Discovery and Exploit Generation. MOBISYS'17: PROCEEDINGS OF THE 15TH ANNUAL INTERNATIONAL CONFERENCE ON MOBILE SYSTEMS, APPLICATIONS, AND SERVICES. 2017, 第 6 作者225-238, http://dx.doi.org/10.1145/3081333.3081361.
[22] 于航, 刘丽敏, 高能, 李红达. 基于模拟器的沙箱系统研究. 信息网络安全[J]. 2015, 第 2 作者139-143, http://lib.cqvip.com/Qikan/Article/Detail?id=666205630.
[23] 刘丽敏. WrapDroid: Flexible and Fine-Grained Policy Enforcement for Android Applications. the 17th Annual International Conference on Information Security and Cryptology（ICISC）. 2014, 第 1 作者
[24] Jing Wang, Le Guan, Limin Liu, Daren Zha. Implementing a Covert Timing Channel Based on Mimic Function. Information security practice and experience :. 2014, 第 3 作者247-261, 
[25] Chenyang Tu, Wei He, Neng Gao, Eduardo de la Torre, Zeyi Liu, Limin Liu. A Progressive Dual-Rail Routing Repair Approach for FPGA Implementation of Crypto Algorithm. Information security practice and experience :. 2014, 第 6 作者  通讯作者  217-231, 
[26] Jing Jiwu. Fingerprint Embedding: A Proactive Strategy of Detecting Timing Channels. ICICS2013. 2013, 
[27] Jiang Weiyu, Xiang Ji, Liu Limin, Zha Daren, Wang Lei, IEEE. From Mini House Game to Hobby-driven Behavioral Biometrics-based Password. 2013 12TH IEEE INTERNATIONAL CONFERENCE ON TRUST, SECURITY AND PRIVACY IN COMPUTING AND COMMUNICATIONS (TRUSTCOM 2013). 2013, 第 3 作者712-719, 
[28] Liu, Limin, Han, Jin, Gao, Debin, Jing, Jiwu, Zha, Daren, Wang, G, Tate, SR, Chen, JJ, Sakurai, K. Launching Return-Oriented Programming Attacks against Randomized Relocatable Executables. TRUSTCOM20112011INTERNATIONALJOINTCONFERENCEOFIEEETRUSTCOM11IEEEICESS11FCST11. 2011, 第 1 作者37-44, 
[29] Li Peng, Liu Limin, Gao Debin, Reiter Michael K, Jha S, Sommer R, Kreibich C. On Challenges in Evaluating Malware Clustering. RECENT ADVANCES IN INTRUSION DETECTION. 2010, 第 2 作者6307: 238-+, 
[30] Liu Limin, Ming Jiang, Wang Zhi, Gao Debin, Jia Chunfu, Qing SH, Mitchell CJ, Wang GL. Denial-of-Service Attacks on Host-Based Generic Unpackers. INFORMATION AND COMMUNICATIONS SECURITY, PROCEEDINGS. 2009, 第 1 作者5927: 241-+, 

（1） 信息安全技术, 中国人民公安大学出版社, 2018-04, 第 3 作者

   

（ 1 ） 海云信息安全共性关键技术, 参与, 中国科学院计划, 2012-01--2013-12
（ 2 ） 云计算安全体系架构研究, 参与, 国家任务, 2013-01--2015-12
（ 3 ） XX系统, 负责人, 其他国际合作项目, 2015-01--2015-12
（ 4 ） 针对密码芯片的侧信道分析和研究, 负责人, 其他国际合作项目, 2013-01--2013-12
（ 5 ） Android应用程序监控, 负责人, 其他国际合作项目, 2014-01--2014-12
（ 6 ） XX设备及系统的示范验证, 负责人, 其他国际合作项目, 2016-01--2016-12
（ 7 ） 基于可信执行环境的生物识别身份鉴别协议, 参与, 其他国际合作项目, 2016-07--2017-12
（ 8 ） 鉴别与授权标准体系研究, 参与, 其他国际合作项目, 2016-07--2017-12
（ 9 ） 国际标准化总体推进及SM4算法在ISO推进工作, 参与, 其他国际合作项目, 2016-01--2017-12
（ 10 ） 信息服务可信及功能完整性证明技术研究, 负责人, 国家任务, 2017-07--2021-06
（ 11 ） SM4分组算法ISO/IEC国际标准化推进工作, 负责人, 其他国际合作项目, 2018-01--2020-12
（ 12 ） 云密钥管理技术研究, 负责人, 其他国际合作项目, 2018-07--2019-06

已指导学生

万家伟  硕士研究生  083900-网络空间安全  

方茜  硕士研究生  083900-网络空间安全  

刘婧怡  硕士研究生  085211-计算机技术  

李文清  硕士研究生  083900-网络空间安全  

现指导学生

田佳琦  硕士研究生  085412-网络与信息安全  

石亚  硕士研究生  083900-网络空间安全  

于汪东  硕士研究生  085400-电子信息