Craig Disselkoen
where else to find them
bluesky:craigdissel.bsky.social
mastodon:@craigdissel@discuss.systems
what they talk about
where they keep going back
- POPL2 editions2021–2023
on a stage with
all 31 in the filters
who talks about the same things
- Marco Vassena8 talks
- Bryan Parno22 talks
- Conrad Watt12 talks
- Jay Bosamiya6 talks
- Deian Stefan14 talks
- Joseph W. Cutler7 talks
| title | conference | date |
|---|---|---|
| Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization | OOPSLA 2024 | 2024-10-20 |
Cedar defines a concise DSL, a Rust evaluation engine, and a Lean formal model that proves key properties; policies compile into SMT in the sound and complete… | ||
| MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code | POPL 2023 | 2023-01-15 |
Extends Wasm with segmented memory and unforgeable handles that carry colored provenance, a formal semantics, and a proof that well-typed MSWasm modules are… | ||
| Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade | POPL 2021 | 2021-01-17 |
Blade automatically finds data-flow paths from memory reads that can speculatively carry secrets to cache-leaking sinks, models them with a transient vs stable… | ||
| Prime+Abort: A Timer-Free High-Precision L3 Cache Attack using Intel TSX | 26th USENIX Security Symposium (USENIX Security '17) | 2017-08-16 |
A cache attack leverages Intel TSX transactional aborts to detect L3 cache line evictions without any timers, replacing probe timing with a hardware callback… | ||
| nothing matches | ||