@misc{cryptoeprint:2019:301,
    author = {Peter T. Breuer and Simon Pickin},
    title = {Safe Compilation for Encrypted Computing},
    howpublished = {Cryptology ePrint Archive, Report 2019/301},
    year = {2019},
    url = {https://eprint.iacr.org/2019/301},
}