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; Alix Trieu (CSF, 2023)

Formal Specification and Verification of Security Mechanisms for RISC-V Processors: Non-final version. (Spécification et vérification formelle de mécanismes de sécurité pour processeurs RISC-V / Spécification et vérification formelle de mécanismes de sécurité pour processeurs RISC-V: Version non-finale). - Matthieu Baty (2024)