Platform for Verification of Electromagnetic Analysis Attacks against Cryptographic Circuits.

Masaya Yoshikawa Toshiya Asai

Published in: ITNG (2013)

Keyphrases

data analysis
high speed
image analysis
digital images
statistical analysis
model checking
formal analysis
cryptographic protocols