关注
Ke Jiang
Ke Jiang
Nanyang Technological University, Singapore
在 e.ntu.edu.sg 的电子邮件经过验证
标题
引用次数
引用次数
年份
Cache Refinement Type for Side-Channel Detection of Cryptographic Software
K Jiang, Y Bao, S Wang, Z Liu, T Zhang
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications …, 2022
72022
A Formal Methodology for Verifying Side-Channel Vulnerabilities in Cache Architectures
K Jiang, T Zhang, D Sanán, Y Zhao, Y Liu
International Conference on Formal Engineering Methods, 190-208, 2022
32022
A Formally Verified Buddy Memory Allocation Model
K Jiang, D Sanan, Y Zhao, S Kan, Y Liu
2019 24th International Conference on Engineering of Complex Computer …, 2019
12019
系统目前无法执行此操作，请稍后再试。
文章 1–3