@misc{cryptoeprint:2017:1233,
    author = {Gilles Barthe and Benjamin Grégoire and Vincent Laporte},
    title = {Provably secure compilation of side-channel countermeasures},
    howpublished = {Cryptology ePrint Archive, Report 2017/1233},
    year = {2017},
    url = {https://eprint.iacr.org/2017/1233},
}