SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks

@inproceedings{Zhang2018SCInferRV,
  title={SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks},
  author={Jun Zhang and Pengfei Gao and Fu Song and Chao Wang},
  booktitle={CAV},
  year={2018}
}
Power side-channel attacks, capable of deducing secret using statistical analysis techniques, have become a serious threat to devices in cyber-physical systems and the Internet of things. Random masking is a widely used countermeasure for removing the statistical dependence between secret data and sidechannel leaks. Although there are techniques for verifying whether software code has been perfectly masked, they are limited in accuracy and scalability. To bridge this gap, we propose a… CONTINUE READING