Follow
Ke Jiang
Title
Cited by
Cited by
Year
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
62022
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
12022
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
The system can't perform the operation now. Try again later.
Articles 1–3