Artificial Results From Hardware Synthesis. - Ahmed Alharbi 001; Charles Bouillaguet (IACR Cryptol. ePrint Arch., 2025)