Gautier Raimondi
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Floriana Ciagliaonce
- Frédéric Bessononce
- Thomas P. Jensenonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Type-directed Program Transformation for Constant-Time Enforcement | PPDP 2023 | 2023-10-22 |
Claims a relaxed information-flow type that distinguishes direct vs indirect flows and proves any program typable under it can be automatically transformed… | ||
| Type-directed Program Transformation for Constant-Time Enforcement | PriSC 2022 | 2022-01-16 |
Claims a more permissive information‑flow type system that records indirect-of{p} dependencies and rejects only direct flows, then uses those types to drive a… | ||
| nothing matches | ||