June Rousseau
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 8 in the filters
who talks about the same things
- Maxime Legoupil5 talks
- Aina Linn Georges12 talks
- Jean Pichon-Pharabod12 talks
- Conrad Watt12 talks
- Bryan Parno22 talks
- Xiaojia Rao3 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… | ||
| Iris-MSWasm: elucidating and mechanising the security invariants of Memory-Safe(…) | OOPSLA 2024 | 2024-10-20 |
Mechanisation produces MSWasmCert as a conservative, proof‑assistant formalisation of MSWasm and WebAssembly 1.0 modules, and builds Iris‑MSWasm: a separation… | ||
| nothing matches | ||