Suivre
Ke Jiang
Titre
Citée par
Citée par
Année
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
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–3