Sign in

Towards Verifying Physical Assumption in Card-Based Cryptography.

Masahisa ShimanoKazuo SakiyamaDaiki 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