Sign in
Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks.
Pengfei Gao
Yedi Zhang
Fu Song
Taolue Chen
Franç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