A CFI Verification System based on the RISC-V Instruction Trace Encoder.

Anthony Zgheib, Olivier Potin, Jean-Baptiste Rigaud, Jean-Max Dutertre

Browse the full DSD paper archive.