Towards Verifying Physical Assumption in Card-Based Cryptography.

Masahisa Shimano Kazuo Sakiyama Daiki Miyahara

Published in: SecITC (2022)

Keyphrases

cellular automata
smart card
information security
real time
low cost
case study
three dimensional
feature selection
virtual environment
model checking
physical world
physical systems
method assumes
physical laws