Login / Signup
Compositional Verification of First-Order Masking Countermeasures against Power Side-Channel Attacks.
Pengfei Gao
Fu Song
Taolue Chen
Published in:
ACM Trans. Softw. Eng. Methodol. (2024)
Keyphrases
</>
countermeasures
java card
information security
smart card
power analysis
higher order
model checking
rural areas
power consumption
functional verification
cyber attacks
information warfare
databases
security measures
security issues
case study
real world