Hovav Shacham
where else to find them
what they talk about
all 5 in the filters
where they keep going back
no series more than once — all 6 in the filters
on a stage with
all 24 in the filters
who talks about the same things
- Shankara Pailoor5 talks
- Marius Muench6 talks
- Daniel Gruss14 talks
- Adam Brown3 talks
- Alexei Kojenov6 talks
- Deian Stefan14 talks
| title | conference | date |
|---|---|---|
| Mohabi: Disaggregating and Sandboxing the Firefox JavaScript Engine | 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26) | 2026-07-13 |
Mohabi disaggregates SpiderMonkey from Firefox, adds wrapper types (e.g., split rooted wrapper, sandbox heap/stack/callbacks), and applies an external SFI… | ||
| The Most Dangerous Codec in the World: Finding and Exploiting Vulnerabilities in H.264 Decoders | Black Hat USA 2023 | 2023-08-05 |
H26Forge is a toolkit that programmatically mutates H.264 syntax elements (30,000+ lines of Rust, Python transforms) to generate test videos; batches of 100… | ||
| Cachet: A Domain-Specific Language for Trustworthy Just-In-Time Compilers | PriSC 2023 | 2023-01-21 |
Cachet is a DSL that compiles Cachet to Boogie and C++ and encodes JIT invariants so the verifier proves generated code never violates them. The toolchain uses… | ||
| FaJITa: Verifying Optimizations on Just-In-Time Programs | PriSC 2023 | 2023-01-21 |
FaJITa is a translation validator that checks semantic equivalence of JavaScript functions after Firefox JIT optimizations by combining symbolic execution with… | ||
| Automated Policy Synthesis for System Call Sandboxing | OOPSLA 2020 | 2020-11-15 |
Abhaya automatically generates sound, optimal syscall-whitelisting policies by combining a scalable static analysis with an SMT-guided synthesis phase. The… | ||
| On the effectiveness of mitigations against floating-point timing channels | 26th USENIX Security Symposium (USENIX Security '17) | 2017-08-16 |
Benchmarks show operand-dependent timings: divisions and square roots hit 150–175 cycle spikes for some value families while powers-of-two and zero run about… | ||
| Trusted Browsers for Uncertain Times | USENIX Security '16 | 2016-08-10 |
JavaScript can recover fine-grained time even when performance.now is rounded coarsely; the clock edge technique and other tactics boost effective resolution… | ||
| nothing matches | ||