Cache Refinement Type for Side-Channel Detection of Cryptographic Software.
Ke JiangYuyan BaoShuai WangZhibo LiuTianwei ZhangPublished in: CCS (2022)
Keyphrases
- smart card
- anomaly detection
- software development
- detection method
- software systems
- false positives
- detection accuracy
- user interface
- software architecture
- detection algorithm
- software tools
- software design
- software components
- automatic detection
- detection rate
- source code
- development process
- data access
- index structure
- open source