Cache Refinement Type for Side-Channel Detection of Cryptographic Software
- Ke Jiang
- , Yuyan Bao
- , Shuai Wang
- , Zhibo Liu
- , Tianwei Zhang
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
7
Link opens in a new tab
Scopus
citations