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 512, Computer Science Building
Xianlin Campus, Nanjing University
Nanjing, Jiangsu, 210023
P.R.China

Email: [email protected] / [email protected]

[CV]

Publication

1、 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]

2、L. Wang, Z. Zhu, Z. Wang and D. 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、负责利用基于模型的方法分析和评估处理器微结构是否能够缓解熔断幽灵的工作
【面向服务器CPU熔断和幽灵等硬件安全威胁的系统解决方案, 国家级】

Analyzing The Security of The Cache Side Channel Defences With Attack Graphs

Colored Petri Net Based Cache
Side Channel Vulnerability Evaluation

会打代码的扫地王大爷

wlmnzf

中科院信工所

IIE

CAS

csuncle

王立敏

南京大学

Nanjing University