SYNFI: Pre-Silicon Fault Analysis of an Open-Source Secure Element. TCHES. 2022;2022(4):56-87. doi:10.46586/tches.v2022.i4.56-87