SYNFI: Pre-Silicon Fault Analysis of an Open-Source Secure Element. - Pascal Nasahl; Miguel Osorio; Pirmin Vogel; Michael Schaffner; Timothy Trippel; Dominic Rizzo; Stefan Mangard (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2022)