@misc{cryptoeprint:2018:141,
    author = {Baiyu Li and Daniele Micciancio},
    title = {Symbolic security of garbled circuits},
    howpublished = {Cryptology ePrint Archive, Report 2018/141},
    year = {2018},
    url = {https://eprint.iacr.org/2018/141},
}