@misc{cryptoeprint:2019:1037,
    author = {Alexander Koch and Michael Schrempp and Michael Kirsten},
    title = {Card-based Cryptography Meets Formal Verification},
    howpublished = {Cryptology ePrint Archive, Report 2019/1037},
    year = {2019},
    url = {https://eprint.iacr.org/2019/1037},
}