We stand with Ukraine  

Ke Jiang

Affiliations:
  • Nanyang Technological University, Singapore


According to our database1, Ke Jiang authored at least 4 papers between 2019 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
CipherGuard: Compiler-aided Mitigation against Ciphertext Side-channel Attacks.
[BibTeX]
[DOI]
Ke Jiang
,
Sen Deng
,
Yinshuai Li
,
Shuai Wang
,
Tianwei Zhang
,
Yinqian Zhang
CoRR, February, 2025

2022
A Formal Methodology for Verifying Side-Channel Vulnerabilities in Cache Architectures.
[BibTeX]
[DOI]
Ke Jiang
,
Tianwei Zhang
,
David Sanán
,
Yongwang Zhao
,
Yang Liu
Proceedings of the Formal Methods and Software Engineering, 2022

Cache Refinement Type for Side-Channel Detection of Cryptographic Software.
[BibTeX]
[DOI]
Ke Jiang
,
Yuyan Bao
,
Shuai Wang
,
Zhibo Liu
,
Tianwei Zhang
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2019
A Formally Verified Buddy Memory Allocation Model.
[BibTeX]
[DOI]
Ke Jiang
,
David Sanán
,
Yongwang Zhao
,
Shuanglong Kan
,
Yang Liu
Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019


  Loading...