Dave Sands
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
- Sandro Stuckionce
- Sebastian Huntonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Reconciling Shannon and Scott with a Lattice of Computable Information | POPL 2023 | 2023-01-15 |
Introduces a concrete construction called the Lattice of Computable Information whose elements are complete preorders (equivalence classes ordered by… | ||
| Formal Modelling of Information-flow Control Systems: Some Lessons Learned | Data Privacy: From Foundations to Applications (Simons Institute workshop, 2019) | 2019-03-04 |
Proposes replacing a global privacy budget with per-user privacy budgets and implements a dynamic enforcement system that tracks provenance-tracking for every… | ||
| nothing matches | ||