Takaaki Mizuki, Hiroki Shizuya. A formalization of card-based cryptographic protocols via abstract machine. Int. J. Inf. Sec., 13(1):15-23, 2014. [doi]
@article{MizukiS14,
title = {A formalization of card-based cryptographic protocols via abstract machine},
author = {Takaaki Mizuki and Hiroki Shizuya},
year = {2014},
doi = {10.1007/s10207-013-0219-4},
url = {http://dx.doi.org/10.1007/s10207-013-0219-4},
researchr = {https://researchr.org/publication/MizukiS14},
cites = {0},
citedby = {0},
journal = {Int. J. Inf. Sec.},
volume = {13},
number = {1},
pages = {15-23},
}