Hybrid Code Lifting on Space-Hard Block Ciphers: Application to Yoroi and SPNbox. ToSC. 2022;2022(3):368-402. doi:10.46586/tosc.v2022.i3.368-402