Alix Trieu
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
all 7 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Le Temps des Cerises: Efficient Temporal Stack Safety on Capability Machines using Directed | OOPSLA 2022 | 2022-12-05 |
Introduces directed capabilities that add one extra bit and a single arithmetic bounds check to CHERI-style machines, enabling a calling convention that… | ||
| Efficient, Provable Local Capability Revocation using Uninitialized Capabilities | POPL 2021 | 2021-01-17 |
Proposes uninitialized capabilities that give write-only access to an uninitialized stack region and require overwriting before any read, implemented with… | ||
| nothing matches | ||