About
Personal Profile
I am Limin Wang (王立敏)， a PhD student
at Nanjing University.
I was born in Shaoxing, Zhejiang, China, in 1994. I received the B.S. degree from Hangzhou Dianzi University, Hangzhou, China. And I have also received the M.S. degree from the Institute of Information Engineering, Chinese Academy of Sciences in 2020. I am currently pursuing PhD degree at Nanjing University. My research interests are computer architecture, cache side channel attack, and formal methods (model checking).
Room 711, Computer Science Building
Xianlin Campus, Nanjing University
Nanjing, Jiangsu, 210023
P.R.China
Email: wanglimin@smail.nju.edu.cn / wlmnzf@hotmail.com
[CV]
[个人简历]
Publication
1、Limin Wang, Lei Bu and Fu Song, “SCAGuard: Detection and Classification of Cache Side-Channel Attacks via Attack Behavior Modeling and Similarity Comparison,” in DAC 2023, 2023. https://doi.org/10.1109/DAC56929.2023.10247890.
2、Limin Wang, Lei Bu and Fu Song, “Locality Based Cache Side-channel Attack Detection,” in PROOF 2021, 2022. https://doi.org/10.29007/vbqt.
3、Limin Wang, Lei Bu, Lezhi Ma, Xiaofeng Yu and Ningguo Shen, “Attack Detection Method Based on Indicator-dependent Model Construction and Monitoring (in Chinese),” in Journal of Software, 2023. http://dx.doi.org/10.13328/j.cnki.jos.006847.
4、 Limin Wang, Ziyuan Zhu, Zhanpeng Wang and Dan Meng. “Analyzing The Security of The Cache Side Channel Defences With Attack Graphs.” (Best Paper Candidate) Proceedings of the 25th Asia and South Pacific Design Automation Conference. 2020.
[paper] [slices] [transcript] [proceeding]
5、Limin Wang, Ziyuan. Zhu, Zhanpeng. Wang and Dan Meng, “Colored Petri Net Based Cache Side Channel Vulnerability Evaluation,” in IEEE Access, vol. 7, pp. 169825-169843, 2019. https://doi.org/10.1109/ACCESS.2019.2955282.
Project
1、华为体检与最小系统
2、华为内构操作系统入侵检测系统
3、负责利用基于模型的方法分析和评估处理器微结构是否能够缓解熔断幽灵的工作
【面向服务器CPU熔断和幽灵等硬件安全威胁的系统解决方案, 国家级】
Side Channel Vulnerability Evaluation