@misc{cryptoeprint:2018:941,
    author = {Andreas Lochbihler and S. Reza Sefidgar},
    title = {A tutorial introduction to CryptHOL},
    howpublished = {Cryptology ePrint Archive, Report 2018/941},
    year = {2018},
    url = {https://eprint.iacr.org/2018/941},
}