Matthieu Baty

According to our database¹, Matthieu Baty authored at least 2 papers between 2023 and 2024.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

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).

[BibT_eX]

[DOI]

Matthieu Baty

PhD thesis, 2024

2023

A Generic Framework to Develop and Verify Security Mechanisms at the Microarchitectural Level: Application to Control-Flow Integrity.

[BibT_eX]

[DOI]