Cache Refinement Type for Side-Channel Detection of Cryptographic Software.

Ke Jiang Yuyan Bao Shuai Wang Zhibo Liu Tianwei Zhang

Published in: CoRR (2022)

Keyphrases

smart card
software systems
detection accuracy
automatic detection
source code
false positives
software tools
false alarms
detection method
detection rate
development process
industry standard
user interface
data access
object detection
wireless sensor networks
query processing