Alexander Koch 0001, Michael Schrempp, Michael Kirsten. Card-Based Cryptography Meets Formal Verification. New Generation Comput., 39(1):115-158, 2021. [doi]
@article{KochSK21,
title = {Card-Based Cryptography Meets Formal Verification},
author = {Alexander Koch 0001 and Michael Schrempp and Michael Kirsten},
year = {2021},
doi = {10.1007/s00354-020-00120-0},
url = {https://doi.org/10.1007/s00354-020-00120-0},
researchr = {https://researchr.org/publication/KochSK21},
cites = {0},
citedby = {0},
journal = {New Generation Comput.},
volume = {39},
number = {1},
pages = {115-158},
}