Gautier Raimondi

According to our database¹, Gautier Raimondi authored at least 2 papers in 2023.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2023

Secure compilation against side channel attacks. (Compilation sécurisée contre les attaques par canaux auxiliaires).

[BibT_eX]

[DOI]

PhD thesis, 2023

Type-directed Program Transformation for Constant-Time Enforcement.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Principles and Practice of Declarative Programming, 2023