Barbara Gigerl Vedad Hadzic Robert Primas Stefan Mangard Roderick Bloem Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs. 1294 2020 2020 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2020/1294 db/journals/iacr/iacr2020.html#GigerlHPMB20