Léon Ducruet
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Amin Timanyonce
- Anders Alnor Mathiasenonce
- Cătălin Hriţcuonce
all 8 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| FSLH: Flexible Mechanized Speculative Load Hardening | PriSC 2026 | 2026-01-11 |
Presents FSLH, a middle-ground Spectre v1 mitigation that uses a static information‑flow analysis plus selective masking and a semantics that inserts masks (an… | ||
| Reasoning about Weak Isolation Levels in Separation Logic | ICFP 2025 | 2025-10-12 |
Paper formalizes three weak isolation levels for key-value transactions and mechanizes them in Rocq on Iris, giving atomic-style separation-logic specs for… | ||
| nothing matches | ||