6 citations · 11 across the 3 of their papers we have counts for
3 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…
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…