Danfeng Zhang
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA3 editions2021–2025
on a stage with
all 15 in the filters
who talks about the same things
- Mahmut Taylan Kandemir3 talks
- Gang Tan7 talks
- Zhiqiang Zuo2 talks
- Yu Jiang21 talks
- Quan Zhang4 talks
- Chijin Zhou5 talks
| title | conference | date |
|---|---|---|
| Agora: Trust Less and Open More in Verification for Confidential Computing | OOPSLA 2025 | 2025-10-16 |
Agora implements a prototype verification platform that pushes heavy static analysis and SMT solving out of the TCB, replacing them with a tiny in-enclave… | ||
| Quantifying and Mitigating Cache Side Channel Leakage with Differential Set | OOPSLA 2023 | 2023-10-23 |
Introduces a new abstraction differential set and a tool DSA that both measures and removes cache side‑channel leakage by aligning sibling memory accesses… | ||
| SpecSafe: Detecting Cache Side Channels in a Speculative World | OOPSLA 2021 | 2021-10-17 |
SpecSafe detects cache side channels by defining Speculative-Aware noninterference (SANI), applying a program transformation that encodes speculative traces so… | ||
| Proving Differential Privacy via Relational Types | Data Privacy: From Foundations to Applications (Simons Institute workshop, 2019) | 2019-03-04 |
A relational dependent type system (implemented as LightDP and extended as ShadowDP) converts probabilistic programs into non‑deterministic targets that track… | ||
| CacheD: Identifying Cache-Based Timing Channels in Production Software | 26th USENIX Security Symposium (USENIX Security '17) | 2017-08-16 |
CacheD applies symbolic execution and constraint solving over a cache-line model to decide whether memory loads differ for distinct secrets, produces concrete… | ||
| nothing matches | ||