Farzaneh Derakhshan
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Limin Jia2×
- Amit Vasudevanonce
- Gabriel A. Morenoonce
all 6 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Quantified Underapproximation via Labeled Bunches | OOPSLA 2025 | 2025-10-16 |
Presents a formal system that lets over‑ and under‑approximate analyses compose soundly by attaching a test-level modality that ranges over component internal… | ||
| Towards End-to-End Verified TEEs via Verified Interface Conformance and Interfa... | PriSC 2023 | 2023-01-21 |
Framework formalizes TEEs as isolated compartments (Uber objects) with exclusive memory and verified pre/post interfaces, verified in isolation and compiled… | ||
| nothing matches | ||