Jérémy Thibault
where else to find them
what they talk about
where they keep going back
- PriSC2 editions2023–2026
on a stage with
all 6 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Blame-aware Recomposition for Formally Secure Low-level Compiler Backends | PriSC 2026 | 2026-01-11 |
This work extends recomposition with blame-aware recomposition and an overlay semantics that treats cross-compartment observations (like code-size or… | ||
| SECOMP2CHERI: Securely Compiling Compartments from CompCert C to a Capability M... | PriSC 2023 | 2023-01-21 |
Extension of CompCert implements CompCert with compartments that enforces interfaces, disables cross-compartment inlining/tailcalls, and updates Coq… | ||
| nothing matches | ||