Masked Circuit Compiler in the Cardinal Random Probing Composability Framework. - Sonia Belaïd; Victor Normand; Matthieu Rivain (IACR Cryptol. ePrint Arch., 2025)