Card-Based Zero-Knowledge Proof Protocols for Graph Problems and Their Computational Model.

Daiki Miyahara Hiromichi Haneda Takaaki Mizuki

Published in: ProvSec (2021)

Keyphrases

computational model
computational models
computational framework
language acquisition
cognitive architecture
smart card
computational modeling
np complete
cognitive modeling
graph model
graph representation