@misc{cryptoeprint:2019:1393,
    author = {Manuel Barbosa and Gilles Barthe and Karthik Bhargavan and Bruno Blanchet and Cas Cremers and Kevin Liao and Bryan Parno},
    title = {SoK: Computer-Aided Cryptography},
    howpublished = {Cryptology ePrint Archive, Report 2019/1393},
    year = {2019},
    url = {https://eprint.iacr.org/2019/1393},
}