Sunjay Cauligi
where else to find them
github:scauligi
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 10 in the filters
who talks about the same things
- Matthew Kolosick3 talks
- Marco Vassena8 talks
- Marco Patrignani14 talks
- Deian Stefan14 talks
- Andres Erbsen5 talks
- Craig Disselkoen4 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… | ||
| 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… | ||
| FaCT: A New Language for Constant-Time Programming | Strange Loop 2018 | 2018-09-26 |
FaCT is a domain specific language that compiles high-level code into constant-time assembly and embeds into C Python and Haskell toolchains. It rejects… | ||
| nothing matches | ||