Login / Signup

Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks.

Pengfei GaoYedi ZhangFu SongTaolue ChenFrançois-Xavier Standaert
Published in: Proc. ACM Program. Lang. (2023)
Keyphrases
  • countermeasures
  • java card
  • information security
  • smart card
  • lightweight
  • rural areas
  • data mining
  • access control
  • machine learning
  • cyber attacks