Login / Signup
A Statistical Verification Method of Random Permutations for Hiding Countermeasure Against Side-Channel Attacks.
Jong-Yeon Park
Jang-Won Ju
Wonil Lee
Bo-Gyeong Kang
Yasuyuki Kachi
Kouichi Sakurai
Published in:
IACR Cryptol. ePrint Arch. (2023)
Keyphrases
</>
verification method
model checking
temporal logic
statistical analysis
statistical models
smart card
data driven
information theoretic
statistical information
statistical data
uniformly distributed
statistical inference
data structure
similarity measure
countermeasures
hypothesis testing
statistical measures