I do ✨formal methods✨

Publications

• 2023.05
  "A generic framework to develop and verify security mechanisms at the microarchitectural level: application to control-flow integrity"

  Matthieu Baty, Pierre Wilke, Guillaume Hiet, Arnaud Fontaine and Alix Trieu

  CSF 2023

  In which we describe our methodology for reasoning about arbitrary Kôika developments, illustrated on the implementation of a simple hardware-based shadow stack on a pipelined RISC-V processor.

  Not the catchiest title, I know.

  [Paper] [Slides]