About

Personal Profile

I am Limin Wang (王立敏), a master student
at the Institute of Information Engineering (信息工程研究所) of the Chinese Academy of Sciences (中国科学院).

I was born in Shaoxing, Zhejiang, China, in 1994. I received the B.S. degree from Hangzhou Dianzi University, Hangzhou, China. I am currently pursuing the M.S. degree at the Institute of Information Engineering, Chinese Academy of Sciences. My research interests are computer architecture, cache side channel attack, and formal methods (model checking).

Institute of Information Engineering
C8 YiYuan, 80 XingShiKou Road
Haidian District
Beijing 100195
P.R. China
Email: wanglimin@iie.ac.cn / wlmnzf@hotmail.com

[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

王立敏