9 citations · 25 across the 11 of their papers we have counts for
7 papers · 1 filter
Data Minimisation: a Language-Based Approach (Long Version)
Thibaud Antignac, David Sands, Gerardo Schneider
Data minimisation is a privacy-enhancing principle considered as one of the pillars of personal data regulations. This principle dictates that personal data collected should be no…
The Anatomy and Facets of Dynamic Policies
Niklas Broberg, Bart van Delft, David Sands
Information flow policies are often dynamic; the security concerns of a program will typically change during execution to reflect security-relevant events. A key challenge is how t…
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…
Type-Directed Compilation for Fault-Tolerant Non-Interference
Filippo Del Tedesco, David Sands, Alejandro Russo
Environmental noise (e.g.heat, ionized particles, etc.) causes transient faults in hardware, which lead to corruption of stored values. Mission-critical devices require such faults…
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…
Specification and Verification of Side Channel Declassification
Josef Svenningsson, David Sands
Side channel attacks have emerged as a serious threat to the security of both networked and embedded systems -- in particular through the implementations of cryptographic operation…