@misc{cryptoeprint:2018:1031,
    author = {Roderick Bloem and Hannes Gross and Rinat Iusupov and Martin Krenn and Stefan Mangard},
    title = {Sharing Independence & Relabeling: Efficient Formal Verification of Higher-Order Masking},
    howpublished = {Cryptology ePrint Archive, Report 2018/1031},
    year = {2018},
    url = {https://eprint.iacr.org/2018/1031},
}