A CFI Verification System based on the RISC-V Instruction Trace Encoder. - Anthony Zgheib; Olivier Potin; Jean-Baptiste Rigaud; Jean-Max Dutertre (DSD, 2022)

A CCFI Verification Scheme Based on the RISC-V Trace Encoder. - Anthony Zgheib; Olivier Potin; Jean-Baptiste Rigaud; Jean-Max Dutertre (COSADE, 2023)

CIFER: Code Integrity and control Flow verification for programs Executed on a RISC-V core. - Anthony Zgheib; Olivier Potin; Jean-Baptiste Rigaud; Jean-Max Dutertre (HOST, 2023)

Experimental EMFI detection on a RISC-V core using the Trace Verifier solution. - Anthony Zgheib; Olivier Potin; Jean-Baptiste Rigaud; Jean-Max Dutertre (Microprocess. Microsystems, 2023)