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).
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.
Side Channel Vulnerability Evaluation