Matthew Kolosick
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 11 in the filters
who talks about the same things
- Sunjay Cauligi4 talks
- Marco Vassena8 talks
- Marco Patrignani14 talks
- Deian Stefan14 talks
- Andres Erbsen5 talks
- Owen Conoly2 talks
| title | conference | date |
|---|---|---|
| Robust Constant-Time Cryptography | PLDI 2025 | 2025-06-16 |
Defines an operational semantics and a new property Robust Constant Time (RCT) that is parameterized by attacker models (read gadgets, speculative read… | ||
| Robust Constant-Time Cryptography | PriSC 2023 | 2023-01-21 |
Constant-time is insufficient: code that avoids secret-dependent branches still leaks when keys live in memory or the application misbehaves. The work defines… | ||
| Isolation without Taxation: Near-Zero-Cost Transitions for WebAssembly and SFI | POPL 2022 | 2022-01-16 |
Paper claims that adding static invariants lets sandboxed code use simple function calls instead of heavyweight wrappers, and implements this end-to-end. A… | ||
| nothing matches | ||