5 citations · 7 across the 3 of their papers we have counts for
3 papers
cs.PL2022★ 1 cited
Reconciling Shannon and Scott with a Lattice of Computable Information
Sebastian Hunt, David Sands, Sandro Stucki
This paper proposes a reconciliation of two different theories of information. The first, originally proposed in a lesser-known work by Claude Shannon, describes how the informatio…
cs.CR2015★ 5 cited
Very Static Enforcement of Dynamic Policies
Bart van Delft, Sebastian Hunt, David Sands
Security policies are naturally dynamic. Reflecting this, there has been a growing interest in studying information-flow properties which change during program execution, including…
cs.CR2011★ 1 cited
A Semantic Hierarchy for Erasure Policies
Filippo Del Tedesco, Sebastian Hunt, David Sands
We consider the problem of logical data erasure, contrasting with physical erasure in the same way that end-to-end information flow control contrasts with access control. We presen…