Thomas Van Strydonck
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 4 in the filters
on a stage with
all 11 in the filters
who talks about the same things
- Dominique Devriese17 talks
- Armaël Guéneau7 talks
- Denis Carnier3 talks
- Steven Keuchel5 talks
- June Rousseau2 talks
- Aina Linn Georges12 talks
| title | conference | date |
|---|---|---|
| Cerisier: A Program Logic for Attestation in a Capability Machine | PLDI 2026 | 2026-06-15 |
Cerisier presents a program logic that formalizes CHERI-TrEE support for enclaves on a capability machine and claims modular, end-to-end proofs for systems… | ||
| Secure Calling Conventions for CHERI Capability Machines in Practice (Work in P... | PriSC 2024 | 2024-01-20 |
Proposes a concrete design that reconciles theoretical secure calling conventions with real CHERI-RISC-V constraints by introducing a reserve stack to avoid… | ||
| Secure Calling Conventions for CHERI Capability Machines in Practice (Work in Pr... | POCL 2024 | 2024-01-16 |
Implements CHERI calling conventions in LLVM and shows a concrete fix for CHERI’s lossy capability compression: split the stack into an active/reserve stack so… | ||
| 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 | ||