@misc{cryptoeprint:2018:329,
    author = {Pasquale Malacaria  and MHR. Khouzani and Corina S. P\u{a}s\u{a}reanu and Quoc-Sang Phan and Kasper Luckow},
    title = {Symbolic Side-Channel Analysis for Probabilistic Programs},
    howpublished = {Cryptology ePrint Archive, Report 2018/329},
    year = {2018},
    url = {https://eprint.iacr.org/2018/329},
}